Protoalgebraic logics. - Willem J. Blok; Don Pigozzi (Stud Logica, 1986)

Alfred Tarski's Work on General Metamathematics. - Willem J. Blok; Don Pigozzi (J. Symb. Log., 1988)

Data Types over Multiple-Values Logics. - Don Pigozzi (Theor. Comput. Sci., 1990)

Typed Homomorphic Relations Extended with Sybtypes. - Gary T. Leavens; Don Pigozzi (MFPS, 1991)

Introduction. - Willem J. Blok; Don Pigozzi (Stud Logica, 1991)

Equality-Test and If-Then-Else Algebras: Axiomatization and Specification. - Don Pigozzi (SIAM J. Comput., 1991)

Dimension-Complemented Lambda Abstraction Algebras. - Don Pigozzi; Antonino Salibra (AMAST, 1993)

Negation as Partial Failure. - Bamshad Mobasher; Jacek Leszczylowski; Don Pigozzi (LPNMR, 1993)

A Representation Theorem for Lambda Abstraction Algebras. - Don Pigozzi; Antonino Salibra (MFCS, 1993)

The abstract variable-binding calculus. - Don Pigozzi; Antonino Salibra (Stud Logica, 1995)

Lambda Abstraction Algebras: Representation Theorems. - Don Pigozzi; Antonino Salibra (Theor. Comput. Sci., 1995)

Class-Based and Algebraic Models of Objects. - Gary T. Leavens; Don Pigozzi (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

The Behavior-Realization Adjunction and Generalized Homomorphic Relations. - Gary T. Leavens; Don Pigozzi (Theor. Comput. Sci., 1997)

Multi-Valued Logic Programming Semantics: An Algebraic Approach. - Bamshad Mobasher; Don Pigozzi; Giora Slutzki (Theor. Comput. Sci., 1997)

Abstract Algebraic Logic. - Don Pigozzi (AMAST, 1998)

Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. - Don Pigozzi; Antonino Salibra (Fundam. Informaticae, 1998)

A Complete Algebraic Characterization of Behavioral Subtyping. - Gary T. Leavens; Don Pigozzi (Acta Informatica, 2000)

Fully Adequate Gentzen Systems and the Deduction Theorem. - Josep Maria Font; Ramon Jansana; Don Pigozzi (Reports Math. Log., 2001)

Foreword. - Josep Maria Font; Ramon Jansana; Don Pigozzi (Stud Logica, 2003)

A Survey of Abstract Algebraic Logic. - Josep Maria Font; Ramon Jansana; Don Pigozzi (Stud Logica, 2003)

Fregean logics. - Janusz Czelakowski; Don Pigozzi (Ann. Pure Appl. Log., 2004)

Fregean logics with the multiterm deduction theorem and their algebraization. - Janusz Czelakowski; Don Pigozzi (Stud Logica, 2004)

In Memory of Willem Johannes Blok 1947-2003. - Joel Berman; Wieslaw Dziobiak; Don Pigozzi; James G. Raftery 001 (Stud Logica, 2006)

On the Closure Properties of the Class of Full G-models of a Deductive System. - Josep Maria Font; Ramon Jansana; Don Pigozzi (Stud Logica, 2006)

Behavioural reasoning for conditional equations. - Manuel A. Martins 001; Don Pigozzi (Math. Struct. Comput. Sci., 2007)

Update to "A Survey of Abstract Algebraic Logic". - Josep Maria Font; Ramon Jansana; Don Pigozzi (Stud Logica, 2009)