#### Filter Results:

- Full text PDF available (21)

#### Publication Year

1986

2014

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

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

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

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

- Janusz Czelakowski, Don Pigozzi
- Ann. Pure Appl. Logic
- 2004

According to Frege’s principle the denotation of a sentence coincides with its truthvalue. The principle is investigated within the context of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes intuitionistic logic in a certain strong sense. A 2nd-order matrix is an algebra together with an algebraic… (More)

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

- Don Pigozzi
- AMAST
- 1998

- Gary T. Leavens, Don Pigozzi
- Acta Informatica
- 2000

We present a model-theoretic study of correct behavioral subtyping for first-order, deterministic, abstract data types with immutable objects. For such types, we give a new algebraic criterion for proving correct behavioral subtyping that is both necessary and sufficient. This proof technique handles incomplete specifications by allowing proofs of correct… (More)

- Janusz Czelakowski, Don Pigozzi
- Studia Logica
- 2004

A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T , i.e., the binary relation between formulas { 〈α, β〉 : T, α `S β and T, β `S α }, is a congruence relation on the formula algebra. The multiterm deduction-detachment theorem is a natural generalization of the deduction theorem of… (More)

- Don Pigozzi
- 2010

Q is any quasivariety. A congruence relation 0 on a member A of Q is a Q-congruence if A/0 G Q. The set CouqA. of all Qcongruences is closed under arbitrary intersection and hence forms a complete lattice Cong A. Q. is relatively congruence-distributive if ConjA is distributive for every A e Q.. Relatively congruence-distributive quasivarieties occur… (More)

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

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