Search Results

Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice

Author: Miller, David

Source: Logica Universalis, Volume 1, Number 1, January 2007 , pp. 183-199(17)

Publisher: Springer

Axiomatizing the Skew Boolean Propositional Calculus

Authors: Veroff, R.; Spinks, M.

Source: Journal of Automated Reasoning, Volume 37, Numbers 1-2, August 2006 , pp. 3-20(18)

Publisher: Springer

Categorical Abstract Algebraic Logic: (,N)-Algebraic Systems

Author: Voutsadakis, George

Source: Applied Categorical Structures, Volume 13, Number 3, June 2005 , pp. 265-280(16)

Publisher: Springer

Cut and Weakening in Fuzzy Horn Logic

Author: Vychodil, Vilém

Source: Logic Journal of the IGPL, Volume 13, Number 5, September 2005 , pp. 599-609(11)

Publisher: Oxford University Press

Fregean logics with the multiterm deduction theorem and their algebraization

Authors: Czelakowski, J.; Pigozzi, D.

Source: Studia Logica, Volume 78, Numbers 1-2, November 2004 , pp. 171-212(42)

Publisher: Springer

Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic

Author: George Voutsadakis

Source: Logic Journal of the IGPL, Volume 12, Number 4, July 2004 , pp. 313-333(21)

Publisher: Oxford University Press

Conferences

Source: Logic Journal of the IGPL, Volume 12, Number 4, July 2004 , pp. 335-342(8)

Publisher: Oxford University Press

Acknowledgements

Source: Logic Journal of the IGPL, Volume 12, Number 4, July 2004 , pp. 343-343(1)

Publisher: Oxford University Press

Categorical Abstract Algebraic Logic Metalogical Properties

Author: Voutsadakis G.

Source: Studia Logica, Volume 74, Number 3, August 2003 , pp. 369-398(30)

Publisher: Springer

Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization

Authors: Barbour G.D.; Raftery J.G.

Source: Studia Logica, Volume 74, Numbers 1-2, June 2003 , pp. 99-152(54)

Publisher: Springer

Algebraic Semantics for Deductive Systems

Authors: Blok W.J.; Rebagliato J.

Source: Studia Logica, Volume 74, Numbers 1-2, June 2003 , pp. 153-180(28)

Publisher: Springer

Categorical Abstract Algebraic Logic: Equivalent Institutions

Author: Voutsadakis G.

Source: Studia Logica, Volume 74, Numbers 1-2, June 2003 , pp. 275-311(37)

Publisher: Springer

Categorical Abstract Algebraic Logic: Algebraizable Institutions

Author: Voutsadakis G.

Source: Applied Categorical Structures, Volume 10, Number 6, December 2002 , pp. 531-568(38)

Publisher: Springer

A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples

Authors: van der Hoek W.; Thijsse E.

Source: Studia Logica, Volume 72, Number 1, October 2002 , pp. 61-84(24)

Publisher: Springer

3. Theory

Author: Shapiro, Stewart

Source: Foundations without Foundationalism, March 2000 , pp. 61-79(19)

Publisher: Oxford Scholarship Online Monographs

On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion

Authors: Adillon R.J.; Verdú V.

Source: Studia Logica, Volume 65, Number 1, June 2000 , pp. 11-30(20)

Publisher: Springer

Reconstituting Beta Graphs into an Efficacious System

Author: Shin S-J.

Source: Journal of Logic, Language and Information, Volume 8, Number 3, July 1999 , pp. 273-295(23)

Publisher: Springer