#### Filter Results:

- Full text PDF available (22)

#### Publication Year

1986

2014

- This year (0)
- Last five years (3)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Willem J. Blok, Don Pigozzi
- Studia Logica
- 1986

- Josep Maria Font, Ramon Jansana, Don Pigozzi
- Studia Logica
- 2003

- J. Czelakowski, D. Pigozzi
- 2003

Recent studies of the algebraic properties of bilattices have provided insight into their internal structures, and have led to practical results, especially in reducing the computational complexity of bilattice-based multi-valued logic programs. In this paper the representation theorem for interlaced bilattices with negation found in 18] and extended to… (More)

- DON PIGOZZI
- 2004

The recent development of abstract algebraic logic has led to a reconsideration of the universal algebraic theory of ordered algebras from a new perspective. The familiar equational logic of Birkhoff can be naturally viewed as one of the deductive systems that constitute the main object of study in abstract algebraic logic; technically it is a deductive… (More)

- Don Pigozzi, Antonino Salibra
- Theor. Comput. Sci.
- 1995

Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. Like combinatory algebras they can be defined by true identities and thus form a variety in the sense of universal algebra, but they differ from combinatory algebras in several… (More)

- Don Pigozzi, Antonino Salibra
- Fundam. Inform.
- 1997

- Gary T. Leavens, Don Pigozzi
- Theor. Comput. Sci.
- 1997

A slightly abbreviated version will appear in Theoretical Computer Science. Abstract. A model theory for proving correctness of abstract data types is developed within the framework of the behavior-realization adjunction. To allow for incomplete speciications, proof-of-correctness is based on comparison to one of several paradigmatic models. For making such… (More)

- Don Pigozzi, Antonino Salibra
- Studia Logica
- 1995

- Josep Maria Font, Ramon Jansana, Don Pigozzi
- Reports on Mathematical Logic
- 2001

An infinite sequence ∆ = ∆n(x0,. .. , xn−1, y, ¯ u) : n < ω of possibly infinite sets of formulas in n + 1 variables x0,. .. , xn−1, y and a possibly infinite system of parameters ¯ u is a parameterized graded deduction-detachment (PGDD) system for a de-ductive system S over a S-theory T if, for every n < ω and for all ϕ0,. ϑ) for every possible system of… (More)