A Survey of Abstract Algebraic Logic

[1]  A. Tarski.  Grundzüge der Systemenkalküls I , 1935 .

[2]  J. C. C. McKinsey,et al.  A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology , 1941, J. Symb. Log..

[3]  L. Henkin.  Review: J. C. C. McKinsey, Alfred Tarski, Some Theorems About the Sentential Calculi of Lewis and Heyting , 1948 .

[4]  Alfred Tarski,et al.  Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.

[5]  R. Sikorski,et al.  Algebraic Treatment of the Notion of Satisfiability , 1953 .

[6]  Alonzo Church,et al.  Introduction to Mathematical Logic. Volume I. , 1957 .

[7]  J. Łoś,et al.  Remarks on sentential logics , 1958 .

[8]  Alfred Tarski,et al.  Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , 1958 .

[9]  A. R. Turquette,et al.  Logic, Semantics, Metamathematics , 1957 .

[10]  R. Cignoli.  Boolean Elements in Lukasiewicz Algebras. I , 1965 .

[11]  G. Rousseau.  Sequents in many valued logic I , 1967 .

[12]  A. Monteiro.  La semi-simplicité des algèbres de Boole topologiques et les systèmes déductifs , 1971 .

[13]  R. Wójcicki.  Matrix approach in methodology of sentential calculi , 1973 .

[14]  T. Prucnal,et al.  An algebraic characterization of the notion of structural completeness , 1974 .

[15]  H. Rasiowa.  An Algebraic Approach To Non Classical Logics , 1974 .

[16]  S. Bloom.  Some theorems on structural consequence operations , 1975 .

[17]  R. Suszko.  Abolition of the fregean axiom , 1975 .

[18]  D. J. Shoesmith,et al.  Multiple-Conclusion Logic , 1978 .

[19]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[20]  P. Köhler,et al.  Varieties with equationally definable principal congruences , 1980 .

[21]  A. Monteiro.  Sur les algèbres de Heyting symétriques , 1980 .

[22]  J. Czelakowski.  Reduced products of logical matrices , 1980 .

[23]  M. Dummett.  The interpretation of Frege's philosophy , 1981 .

[24]  J. Czelakowski.  Equivalential logics (II) , 1981 .

[25]  W. Blok,et al.  On the structure of varieties with equationally definable principal congruences I , 1982 .

[26]  Stansław J. Surma,et al.  On the Origin and Subsequent Applications of the Concept of the Lindenbaum Algebra , 1982 .

[27]  J. Czelakowski.  Logical matrices and the amalgamation property , 1982 .

[28]  Joseph A. Goguen,et al.  Introducing Institutions , 1983, Logic of Programs.

[29]  P. Köhler,et al.  On the structure of varieties with equationally definable principal congruences II , 1984 .

[30]  J. Czelakowski.  Filter distributive logics , 1984 .

[31]  A. Ursini,et al.  Ideals in universal algebras , 1984 .

[32]  Ventura Verdú.  Some Algebraic Structures Determined by Closure Operators , 1985, Math. Log. Q..

[33]  Janusz Czelakowski,et al.  Key notions of Tarski's methodology of deductive systems , 1985, Stud Logica.

[34]  Hans-Jörg Kreowski,et al.  Recent Trends in Data Type Specification , 1985, Informatik-Fachberichte.

[35]  Janusz Czelakowski.  Algebraic aspects of deduction theorems , 1985, Stud Logica.

[36]  Willem J. Blok,et al.  Protoalgebraic logics , 1986, Stud Logica.

[37]  J. Donald Monk,et al.  The contributions of Alfred Tarski to algebraic logic , 1986, Journal of Symbolic Logic.

[38]  Janusz Czelakowski.  Local deductions theorems , 1986, Stud Logica.

[39]  José Luiz Fiadeiro,et al.  Structuring Theories on Consequence , 1988, ADT.

[40]  R. Wójcicki.  Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .

[41]  Ryszard Wójcicki,et al.  Theory of Logical Calculi , 1988 .

[42]  A. Tarski,et al.  Cylindric Algebras. Part II , 1988 .

[43]  Willem J. Blok,et al.  Alfred Tarski's Work on General Metamathematics , 1988, J. Symb. Log..

[44]  D. Pigozzi.  Finite basis theorems for relatively congruence-distributive quasivarieties , 1988 .

[45]  Josep Maria Font,et al.  A first approach to abstract modal logics , 1989, Journal of Symbolic Logic.

[46]  Mary E. S. Loomis,et al.  The Basics: , 1990, Is That True?.

[47]  J. R. Büchi,et al.  Skolem Rings and Their Varieties , 1990 .

[48]  Alonzo Church,et al.  Introduction to Mathematical Logic , 1991 .

[49]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

[50]  W. Dziobiak,et al.  A deduction theorem schema for deductive systems of propositional logics , 1991, Stud Logica.

[51]  P. Aglianò,et al.  Ideals and other generalizations of congruence classes , 1992 .

[52]  W. Blok.  Algebraic Semantics for Universal Horn Logic Without Equality , 1992 .

[53]  Christian G. Fermüller,et al.  Elimination of Cuts in First-order Finite-valued Logics , 1993, J. Inf. Process. Cybern..

[54]  Ventura Verdú,et al.  On the Algebraization of Some Gentzen Systems , 1993, Fundam. Informaticae.

[55]  J. M. Font,et al.  Algebraic logic for classical conjunction and disjunction , 1993 .

[56]  J. M. Font.  On the Leibniz congruences , 1993 .

[57]  Hajnal Andréka,et al.  General algebraic logic: a perspective on “what is logic” , 1994 .

[58]  Greg Restall.  Subintuitionistic Logics , 1994, Notre Dame J. Formal Log..

[59]  Josep Maria Font,et al.  Algebraic Study of Two Deductive Systems of Relevance Logic , 1994, Notre Dame J. Formal Log..

[60]  W. Blok,et al.  On the structure of varieties with equationally definable principal congruences IV , 1994 .

[61]  Ventura Verdú,et al.  A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus , 1994, Math. Log. Q..

[62]  Josep Maria Font,et al.  On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics , 1994, Log. J. IGPL.

[63]  W. Blok,et al.  On the structure of varieties with equationally definable principal congruences III , 1994 .

[64]  Raimon Elgueta Montó.  Algebraic model theory for languages without equality , 1994 .

[65]  A. Ursini.  On subtractive varieties, I , 1994 .

[66]  K. Palasinska.  Deductive systems and finite axiomatization properties , 1994 .

[67]  Jon T. Butler,et al.  Multiple-valued logic , 1995 .

[68]  Ramon Jansana.  Abstract modal logics , 1995, Stud Logica.

[69]  P. D. Clavé.  Contributions to the model theory of equality-free logic , 1996 .

[70]  P. Aglianò,et al.  On subtractive varieties II: General properties , 1996 .

[71]  Romà J. Adillon,et al.  A Gentzen system equivalent to the BCK-logic' , 1996 .

[72]  Ángel Javier Gil Estallo.  Sistemes de Gentzen multidimensionals i logiques finitament valorades. Teoría i aplicacions , 1996 .

[73]  Ramon Jansana,et al.  On Elementary Equivalence for Equality-free Logic , 1996, Notre Dame J. Formal Log..

[74]  A. Avron.  The method of hypersequents in the proof theory of propositional non-classical logics , 1996 .

[75]  Josep Maria Font,et al.  On the contributions of Helena Rasiowa to mathematical logic , 1996, Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96).

[76]  Ramon Jansana,et al.  Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality , 1996, J. Symb. Log..

[77]  Burghard Herrmann.  Characterizing equivalential and algebraizable logics by the Leibniz operator , 1996, Stud Logica.

[78]  B. Herrmann.  Equivalential and algebraizable logics , 1996 .

[79]  Josep Maria Font,et al.  Belnap's Four-Valued Logic and De Morgan Lattices , 1997, Log. J. IGPL.

[80]  Renato A. Lewin,et al.  On the Algebraizability of Annotated Logics , 1997, Stud Logica.

[81]  Àngel J. Gil,et al.  On Gentzen Systems Associated with the Finite Linear MV-Algebras , 1997, J. Log. Comput..

[82]  P. Aglianò,et al.  On subtractive varieties IV: Definability of principal ideals , 1997 .

[83]  P. Aglianò,et al.  On subtractive varieties III: From ideals to congruences , 1997 .

[84]  Don Pigozzi,et al.  Algebraic logic , 1985, Problem books in mathematics.

[85]  R. Elgueta.  Subdirect representation theory for classes without equality , 1998 .

[86]  Raimon Elgueta.  Freeness in Classes Without Equality , 1999, J. Symb. Log..

[87]  Alexej P. Pynko,et al.  Definitional Equivalence and Algebraizability of Generalized Logical Systems , 1999, Ann. Pure Appl. Log..

[88]  J. Raftery,et al.  Ideals in Quasivarieties of Algebras , 1999 .

[89]  Pilar Dellunde.  Equality-free Logic: The Method of Diagrams and Preservation Theorems , 1999, Log. J. IGPL.

[90]  Ramon Jansana,et al.  Definability of Leibniz Equality , 1999, Stud Logica.

[91]  Àngel J. Gil,et al.  A Strong Completeness Theorem for the Gentzen systems associated with finite algebras , 1999, J. Appl. Non Class. Logics.

[92]  Janusz Czelakowski,et al.  Weakly Algebraizable Logics , 2000, J. Symb. Log..

[93]  Àngel J. Gil,et al.  Protoalgebraic Gentzen Systems and the Cut Rule , 2000, Stud Logica.

[94]  Katarzyna Palasinska.  Sequent Calculi and Quasivarieties , 2000, Reports Math. Log..

[95]  Josep Maria Font,et al.  An abstract algebraic logic approach to tetravalent modal logics , 2000, Journal of Symbolic Logic.

[96]  Eva Hoogland.  Algebraic Characterizations of Various Beth Definability Properties , 2000, Stud Logica.

[97]  Josep Maria Font,et al.  Leibniz filters and the strong version of a protoalgebraic logic , 2001, Arch. Math. Log..

[98]  P. Aglianò.  Congruence quasi-orderability in subtractive varieties , 2001, Journal of the Australian Mathematical Society.

[99]  Román Adillón.  Contribució a l'estudi de les lògiques proposicionals intuïcionistes i de Gödel sense contracció, i dels seus fragments , 2001 .

[100]  Ramon Jansana,et al.  A Closer Look at Some Subintuitionistic Logics , 2001, Notre Dame J. Formal Log..

[101]  Josep Maria Font,et al.  Fully Adequate Gentzen Systems and the Deduction Theorem , 2001, Reports Math. Log..

[102]  P. Aglianò.  Fregean subtractive varieties with definable congruence , 2001, Journal of the Australian Mathematical Society.

[103]  E. Hoogland.  Definability and Interpolation: Model-theoretic investigations , 2001 .

[104]  GEORGE VOUTSADAKIS,et al.  Categorical Abstract Algebraic Logic: Algebraizable Institutions , 2002, Appl. Categorical Struct..

[105]  R. Jansana.  Full Models for Positive Modal Logic , 2002 .

[106]  Michael Soltys.  Bulletin of the Section of Logic , 2002 .

[107]  Janusz Czelakowski.  The Suszko Operator. Part I. , 2003, Stud Logica.

[108]  J. Czelakowski,et al.  Amalgamation and Interpolation in Abstract Algebraic Logic , 2003 .

[109]  Raimon Elgueta,et al.  Review of Protoalgebraic Logics by J. Czelakowski , 2003, Stud Logica.

[110]  George Voutsadakis,et al.  Categorical Abstract Algebraic Logic: Equivalent Institutions , 2003, Stud Logica.

[111]  Ramon Jansana.  Leibniz Filters Revisited , 2003, Stud Logica.

[112]  James G. Raftery,et al.  Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization , 2003, Stud Logica.

[113]  Janusz Czelakowski,et al.  Fregean logics , 2004, Ann. Pure Appl. Log..

[114]  Janusz Czelakowski,et al.  Fregean logics with the multiterm deduction theorem and their algebraization , 2004, Stud Logica.