Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday /

Quantification in nonclassical logic /
by: Gabbay, Dov M., 1945-
Published: (2009)

Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory /
Published: (1995)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Published: (1977)

Three views of logic : mathematics, philosophy, and computer science /
by: Loveland, Donald W., et al.
Published: (2014)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Published: (1977)

Automated theorem-proving in non-classical logics /
by: Thistlewaite, Paul B.
Published: (1988)

Logical options : an introduction to classical and alternative logics /
by: Bell, J. L. (John Lane)
Published: (2001)

Interval/probabilistic uncertainty and non-classical logics /
Published: (2008)

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
by: Wallen, Lincoln A.
Published: (1990)

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
Published: (1992)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings /
Published: (1991)

Algebra of proofs /
by: Szabo, M. E.
Published: (1978)

Operator theory : nonclassical problems /
by: Pyatkov, S. G.
Published: (2002)

Advances in Proof-Theoretic Semantics /
Published: (2016)

Logic as algebra /
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)

Proof, logic, and formalization /
Published: (1992)

A logical introduction to proof /
by: Cunningham, Daniel W.
Published: (2012)

Algebra of proofs /
Published: (1978)

An algebraic introduction to mathematical logic /
by: Barnes, Donald W.
Published: (1975)

Proof theory of modal logic /
Published: (1996)

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /
Published: (1995)

Logic, proof, and sets /
by: Bittinger, Marvin L.
Published: (1982)

Models, Algebras, and Proofs /
Published: (2021)

Logic and Boolean algebra /
by: Levitz, Kathleen
Published: (1979)

Models, Algebras, and Proofs /
Published: (2021)

The semantics and proof theory of the logic of bunched implications /
by: Pym, David J.
Published: (2002)

Reductive logic and proof-search : proof theory, semantics, and control /
by: Pym, David J., et al.
Published: (2004)

Classical and fuzzy concepts in mathematical logic and applications /
by: Reghiș, Mircea
Published: (1998)

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Classical and nonclassical logics : an introduction to the mathematics of propositions /
by: Schechter, Eric, 1950-
Published: (2005)

An algebraic introduction to mathematical logic /
by: Barnes, D. W. (Donald W.), 1935-, et al.
Published: (1975)

Algebraic methods of mathematical logic
by: Rieger, Ladislav, 1916-1963
Published: (1967)

Algebraic methods of mathematical logic /
by: Rieger, Ladislav, 1916-1963
Published: (1967)

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá /
Published: (1999)

Mathematical logic and theoretical computer science /
Published: (1987)

Aspects of mathematical logic. : III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari.
Published: (1969)