Author of the publication

Fregean logics with the multiterm deduction theorem and their algebraization.

, and . Stud Logica, 78 (1-2): 171-212 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Negation as Partial Failure., , and . LPNMR, page 244-262. MIT Press, (1993)A Survey of Abstract Algebraic Logic., , and . Stud Logica, 74 (1-2): 13-97 (2003)Introduction., and . Stud Logica, 50 (3-4): 365-374 (1991)In Memory of Willem Johannes Blok 1947-2003., , , and . Stud Logica, 83 (1-3): 5-14 (2006)Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus., and . Fundam. Informaticae, 32 (1): 47-90 (1997)Abstract Algebraic Logic.. AMAST, volume 1548 of Lecture Notes in Computer Science, page 8-16. Springer, (1998)Equality-Test and If-Then-Else Algebras: Axiomatization and Specification.. SIAM J. Comput., 20 (4): 766-805 (1991)On the Closure Properties of the Class of Full G-models of a Deductive System., , and . Stud Logica, 83 (1-3): 215-278 (2006)Multi-Valued Logic Programming Semantics: An Algebraic Approach., , and . Theor. Comput. Sci., 171 (1-2): 77-109 (1997)Data Types over Multiple-Values Logics.. Theor. Comput. Sci., 77 (1&2): 161-194 (1990)