# Don Pigozzi

According to our database

^{1}, Don Pigozzi## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2009

Update to "A Survey of Abstract Algebraic Logic".

Studia Logica, 2009

2007

Behavioural reasoning for conditional equations.

Mathematical Structures in Computer Science, 2007

2006

On the Closure Properties of the Class of Full G-models of a Deductive System.

Studia Logica, 2006

In Memory of Willem Johannes Blok 1947-2003.

Studia Logica, 2006

2004

Fregean logics with the multiterm deduction theorem and their algebraization.

Studia Logica, 2004

Fregean logics.

Ann. Pure Appl. Logic, 2004

2003

A Survey of Abstract Algebraic Logic.

Studia Logica, 2003

Foreword.

Studia Logica, 2003

2001

Fully Adequate Gentzen Systems and the Deduction Theorem.

Reports on Mathematical Logic, 2001

2000

Foreword.

Studia Logica, 2000

A Complete Algebraic Characterization of Behavioral Subtyping.

Acta Inf., 2000

1998

Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.

Fundam. Inform., 1998

Class-Based and Algebraic Models of Objects.

Electr. Notes Theor. Comput. Sci., 1998

Abstract Algebraic Logic.

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Multi-Valued Logic Programming Semantics: An Algebraic Approach.

Theor. Comput. Sci., 1997

The Behavior-Realization Adjunction and Generalized Homomorphic Relations.

Theor. Comput. Sci., 1997

Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.

Fundam. Inform., 1997

1995

Lambda Abstraction Algebras: Representation Theorems.

Theor. Comput. Sci., 1995

The abstract variable-binding calculus.

Studia Logica, 1995

1993

A Representation Theorem for Lambda Abstraction Algebras.

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Negation as Partial Failure.

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Dimension-Complemented Lambda Abstraction Algebras.

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1991

Equality-Test and If-Then-Else Algebras: Axiomatization and Specification.

SIAM J. Comput., 1991

Introduction.

Studia Logica, 1991

Typed Homomorphic Relations Extended with Sybtypes.

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

Data Types over Multiple-Values Logics.

Theor. Comput. Sci., 1990

1988

Alfred Tarski's Work on General Metamathematics.

J. Symb. Log., 1988

1986

Protoalgebraic logics.

Studia Logica, 1986