Don Pigozzi

According to our database, Don Pigozzi authored at least 26 papers between 1986 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Update to "A Survey of Abstract Algebraic Logic".

Josep Maria Font, Ramon Jansana, Don Pigozzi

Stud Logica, 2009

2007

Behavioural reasoning for conditional equations.

Manuel A. Martins, Don Pigozzi

Math. Struct. Comput. Sci., 2007

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

In Memory of Willem Johannes Blok 1947-2003.

Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery

Stud Logica, 2006

2004

Fregean logics with the multiterm deduction theorem and their algebraization.

Janusz Czelakowski, Don Pigozzi

Stud Logica, 2004

Fregean logics.

Janusz Czelakowski, Don Pigozzi

Ann. Pure Appl. Log., 2004

2003

A Survey of Abstract Algebraic Logic.

Josep Maria Font, Ramon Jansana, Don Pigozzi

Stud Logica, 2003

Foreword.

Josep Maria Font, Ramon Jansana, Don Pigozzi

Stud Logica, 2003

2001

Fully Adequate Gentzen Systems and the Deduction Theorem.

Josep Maria Font, Ramon Jansana, Don Pigozzi

Reports Math. Log., 2001

2000

A Complete Algebraic Characterization of Behavioral Subtyping.

Gary T. Leavens, Don Pigozzi

Acta Informatica, 2000

1998

Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.

Don Pigozzi, Antonino Salibra

Fundam. Informaticae, 1998

Abstract Algebraic Logic.

Don Pigozzi

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Multi-Valued Logic Programming Semantics: An Algebraic Approach.

Bamshad Mobasher, Don Pigozzi, Giora Slutzki

Theor. Comput. Sci., 1997

The Behavior-Realization Adjunction and Generalized Homomorphic Relations.

Gary T. Leavens, Don Pigozzi

Theor. Comput. Sci., 1997

Class-Based and Algebraic Models of Objects.

Gary T. Leavens, Don Pigozzi

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1995

Lambda Abstraction Algebras: Representation Theorems.

Don Pigozzi, Antonino Salibra

Theor. Comput. Sci., 1995

The abstract variable-binding calculus.

Don Pigozzi, Antonino Salibra

Stud Logica, 1995

1993

A Representation Theorem for Lambda Abstraction Algebras.

Don Pigozzi, Antonino Salibra

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Negation as Partial Failure.

Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi

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

Dimension-Complemented Lambda Abstraction Algebras.

Don Pigozzi, Antonino Salibra

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

1991

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

Don Pigozzi

SIAM J. Comput., 1991

Introduction.

Willem J. Blok, Don Pigozzi

Stud Logica, 1991

Typed Homomorphic Relations Extended with Sybtypes.

Gary T. Leavens, Don Pigozzi

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

Data Types over Multiple-Values Logics.

Don Pigozzi

Theor. Comput. Sci., 1990

1988

Alfred Tarski's Work on General Metamathematics.

Willem J. Blok, Don Pigozzi

J. Symb. Log., 1988

1986

Protoalgebraic logics.

Willem J. Blok, Don Pigozzi

Stud Logica, 1986