- Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.details
|
|
The Suszko operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181 - 231.details
|
|
Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.details
|
|
Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.details
|
|
Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.details
|
|
Fregean logics with the multiterm deduction theorem and their algebraization.J. Czelakowski & D. Pigozzi - 2004 - Studia Logica 78 (1-2):171 - 212.details
|
|
Fregean logics with the multiterm deduction theorem and their algebraization.J. Czelakowski & D. Pigozzi - 2004 - Studia Logica 78 (1-2):171-212.details
|
|
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.details
|
|
Protoalgebraic logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.details
|
|
Equivalence of Consequence Operations.W. J. Blok & Bjarni Jónsson - 2006 - Studia Logica 83 (1-3):91-110.details
|
|
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.details
|
|
Algebraic aspects of cut elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.details
|
|
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.details
|
|
Remarks on Sentential Logics.R. Suszko - 1975 - Journal of Symbolic Logic 40 (4):603-604.details
|
|
Algebraic Treatment of the Notion of Satisfiability.H. Rasiowa & R. Sikorski - 1955 - Journal of Symbolic Logic 20 (1):78-80.details
|
|
A Proof of the Completeness Theorem of Godel.H. Rasiowa & R. Sikorski - 1952 - Journal of Symbolic Logic 17 (1):72-72.details
|
|
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.details
|
|
Helena Rasiowa.Ewa Orłowska & Andrzej Skowron - 1995 - Studia Logica 54 (1):1 - 2.details
|
|
Logics preserving degrees of truth.Marek Nowak - 1990 - Studia Logica 49 (4):483 - 499.details
|
|
Algebraic Study of Two Deductive Systems of Relevance Logic.Josep Maria Font & Gonzalo Rodríguez - 1994 - Notre Dame Journal of Formal Logic 35 (3):369-397.details
|
|
Correspondences between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.details
|
|
Selfextensional Logics with a Conjunction.Ramon Jansana - 2006 - Studia Logica 84 (1):63-104.details
|
|
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.details
|
|
Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.details
|
|
Equivalence of consequence relations: an order-theoretic and categorical perspective.Nikolaos Galatos & Constantine Tsinakis - 2009 - Journal of Symbolic Logic 74 (3):780-810.details
|
|
On Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.details
|
|
On the Closure Properties of the Class of Full G-models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - Studia Logica 83 (1-3):215-278.details
|
|
On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.details
|
|
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.details
|
|
Belnap's four-valued logic and De Morgan lattices.Josep Maria Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.details
|
|
Belnap's Four-Valued Logic and De Morgan Lattices.Josep Font - 1997 - Logic Journal of the IGPL 5 (3):105-134.details
|
|
Algebraic logic for classical conjunction and disjunction.J. M. Font & V. Verdú - 1993 - Studia Logica 52 (1):181.details
|
|
Rasiowa H. and Sikorski R.. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 , pp. 193–200. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.details
|
|
Review: H. Rasiowa, R. Sikorski, A Proof of the Completeness Theorem of Godel. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.details
|
|
The equational definability of truth predicates.James Raftery - 2006 - Reports on Mathematical Logic.details
|
|
Referential semantics: duality and applications.Ramon Jansana & Alessandra Palmigiano - 2006 - Reports on Mathematical Logic.details
|
|
Fully Adequate Gentzen Systems And The Deduction Theorem.Josep Font, Ramon Jansana & Don Pigozzi - 2001 - Reports on Mathematical Logic:115-165.details
|
|
Fully Fregean logics.Sergei Babyonyshev - 2003 - Reports on Mathematical Logic:59-77.details
|
|
Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic.J. M. Font, F. Guzmán & V. Verdú - 1991 - Bulletin of the Section of Logic 20 (3/4):124-128.details
|
|
Referential matrix semantics for propositional calculi.Ryszard Wójcicki - 1979 - Bulletin of the Section of Logic 8 (4):170-176.details
|
|
Selfextensional Logics in Abstract Algebraic Logic : a Brief Survey.Ramon Jansana - unknowndetails
|
|
An algebraic characterization of the notion of structural completeness.Tadeusz Prucnal & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):30-33.details
|
|