Don Pigozzi

Publication Activity (10 Years)

Years Active: 1986-2009
Publications (10 Years): 0

Publications

Josep Maria Font, Ramon Jansana, Don Pigozzi
Update to "A Survey of Abstract Algebraic Logic". Stud Logica 91 (1) (2009)
Manuel A. Martins, Don Pigozzi
Behavioural reasoning for conditional equations. Math. Struct. Comput. Sci. 17 (5) (2007)
Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery
In Memory of Willem Johannes Blok 1947-2003. Stud Logica 83 (1-3) (2006)
Josep Maria Font, Ramon Jansana, Don Pigozzi
On the Closure Properties of the Class of Full G-models of a Deductive System. Stud Logica 83 (1-3) (2006)
Janusz Czelakowski, Don Pigozzi
Fregean logics. Ann. Pure Appl. Log. 127 (1-3) (2004)
Janusz Czelakowski, Don Pigozzi
Fregean logics with the multiterm deduction theorem and their algebraization. Stud Logica 78 (1-2) (2004)
Josep Maria Font, Ramon Jansana, Don Pigozzi
Foreword. Stud Logica 74 (1-2) (2003)
Josep Maria Font, Ramon Jansana, Don Pigozzi
A Survey of Abstract Algebraic Logic. Stud Logica 74 (1-2) (2003)
Josep Maria Font, Ramon Jansana, Don Pigozzi
Fully Adequate Gentzen Systems and the Deduction Theorem. Reports Math. Log. 35 (2001)
Gary T. Leavens, Don Pigozzi
A Complete Algebraic Characterization of Behavioral Subtyping. Acta Informatica 36 (8) (2000)
Josep Maria Font, Ramon Jansana, Don Pigozzi
Foreword. Stud Logica 65 (1) (2000)
Gary T. Leavens, Don Pigozzi
Class-Based and Algebraic Models of Objects. Electron. Notes Theor. Comput. Sci. 14 (1998)
Don Pigozzi
Abstract Algebraic Logic. AMAST (1998)
Don Pigozzi, Antonino Salibra
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. Fundam. Informaticae 33 (2) (1998)
Bamshad Mobasher, Don Pigozzi, Giora Slutzki
Multi-Valued Logic Programming Semantics: An Algebraic Approach. Theor. Comput. Sci. 171 (1-2) (1997)
Gary T. Leavens, Don Pigozzi
The Behavior-Realization Adjunction and Generalized Homomorphic Relations. Theor. Comput. Sci. 177 (1) (1997)
Don Pigozzi, Antonino Salibra
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. Fundam. Informaticae 32 (1) (1997)
Don Pigozzi, Antonino Salibra
The abstract variable-binding calculus. Stud Logica 55 (1) (1995)
Don Pigozzi, Antonino Salibra
Lambda Abstraction Algebras: Representation Theorems. Theor. Comput. Sci. 140 (1) (1995)
Don Pigozzi, Antonino Salibra
Dimension-Complemented Lambda Abstraction Algebras. AMAST (1993)
Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi
Negation as Partial Failure. LPNMR (1993)
Don Pigozzi, Antonino Salibra
A Representation Theorem for Lambda Abstraction Algebras. MFCS (1993)
Don Pigozzi
Equality-Test and If-Then-Else Algebras: Axiomatization and Specification. SIAM J. Comput. 20 (4) (1991)
Gary T. Leavens, Don Pigozzi
Typed Homomorphic Relations Extended with Sybtypes. MFPS (1991)
Willem J. Blok, Don Pigozzi
Introduction. Stud Logica 50 (3-4) (1991)
Don Pigozzi
Data Types over Multiple-Values Logics. Theor. Comput. Sci. 77 (1&2) (1990)
Willem J. Blok, Don Pigozzi
Alfred Tarski's Work on General Metamathematics. J. Symb. Log. 53 (1) (1988)
Willem J. Blok, Don Pigozzi
Protoalgebraic logics. Stud Logica 45 (4) (1986)