Don Pigozzi

Orcid: 0000-0001-9801-0490

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Update to "A Survey of Abstract Algebraic Logic".
Stud Logica, 2009

2007
Behavioural reasoning for conditional equations.
Math. Struct. Comput. Sci., 2007

2006
On the Closure Properties of the Class of Full G-models of a Deductive System.
Stud Logica, 2006

In Memory of Willem Johannes Blok 1947-2003.
Stud Logica, 2006

2004
Fregean logics with the multiterm deduction theorem and their algebraization.
Stud Logica, 2004

Fregean logics.
Ann. Pure Appl. Log., 2004

2003
A Survey of Abstract Algebraic Logic.
Stud Logica, 2003

Foreword.
Stud Logica, 2003

2001
Fully Adequate Gentzen Systems and the Deduction Theorem.
Reports Math. Log., 2001

2000
A Complete Algebraic Characterization of Behavioral Subtyping.
Acta Informatica, 2000

1998
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.
Fundam. Informaticae, 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

Class-Based and Algebraic Models of Objects.
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1995
Lambda Abstraction Algebras: Representation Theorems.
Theor. Comput. Sci., 1995

The abstract variable-binding calculus.
Stud 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.
Stud 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.
Stud Logica, 1986


  Loading...