( en | de | ru )

 

Disambiguation of "Pigozzi, Don"

Author of the publication

copydeleteadd this publication to your clipboard
Negation as Partial Failure.

, , and . LPNMR, page 244-262. MIT Press, (1993)

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.

Don Lamb

Don Yoon

Don Stewart

Ileana Don

Don Yniguez

 

Other publications of authors with the same name

Dimension-Complemented Lambda Abstraction Algebras., and . AMAST, page 129-136. Springer, (1993)A Representation Theorem for Lambda Abstraction Algebras., and . MFCS, volume 711 of Lecture Notes in Computer Science, page 629-639. Springer, (1993)Fully Adequate Gentzen Systems and the Deduction Theorem., , and . Reports Math. Log., (2001)Lambda Abstraction Algebras: Representation Theorems., and . Theor. Comput. Sci., 140 (1): 5-52 (1995)A Survey of Abstract Algebraic Logic., , and . Stud Logica, 74 (1-2): 13-97 (2003)Negation as Partial Failure., , and . LPNMR, page 244-262. MIT Press, (1993)Abstract Algebraic Logic.. AMAST, volume 1548 of Lecture Notes in Computer Science, page 8-16. Springer, (1998)Typed Homomorphic Relations Extended with Sybtypes., and . MFPS, volume 598 of Lecture Notes in Computer Science, page 144-167. Springer, (1991)Alfred Tarski's Work on General Metamathematics., and . J. Symb. Log., 53 (1): 36-50 (1988)Fregean logics with the multiterm deduction theorem and their algebraization., and . Stud Logica, 78 (1-2): 171-212 (2004)