Don Pigozzi

According to our database1, Don Pigozzi
  • authored at least 28 papers between 1986 and 2009.
  • has a "Dijkstra number"2 of three.

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


  Loading...