Search Results

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

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

Authors: Font, Josep; Gil, Àngel; Torrens, Antoni; Verdú, Ventura

Source: Archive for Mathematical Logic, Volume 45, Number 7, October 2006 , pp. 839-868(30)

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

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

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