#### Filter Results:

- Full text PDF available (19)

#### Publication Year

1986

2014

- This year (0)
- Last 5 years (2)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

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

- Josep Maria Font, Ramon Jansana, Don Pigozzi
- Studia Logica
- 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

- 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)

- Don Pigozzi
- AMAST
- 1998