Author of the publication

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)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)A Survey of Abstract Algebraic Logic., , and . Stud Logica, 74 (1-2): 13-97 (2003)Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus., and . Fundam. Informaticae, 32 (1): 47-90 (1997)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)Equality-Test and If-Then-Else Algebras: Axiomatization and Specification.. SIAM J. Comput., 20 (4): 766-805 (1991)Abstract Algebraic Logic.. AMAST, volume 1548 of Lecture Notes in Computer Science, page 8-16. Springer, (1998)