The following pages link to Don Pigozzi (Q673382):
Displaying 50 items.
- (Q598301) (redirect page) (← links)
- Fregean logics (Q598302) (← links)
- Multi-valued logic programming semantics An algebraic approach (Q673383) (← links)
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- On some operations on classes of algebras (Q759050) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- A finite basis theorem for quasivarieties (Q1061158) (← links)
- Minimal, locally-finite varieties that are not finitely axiomatizable (Q1135870) (← links)
- Varieties with equationally definable principal congruences (Q1146705) (← links)
- Finite groupoids without finite bases for their identities (Q1159702) (← links)
- Introduction to the special issue on algebraic logic (Q1189889) (← links)
- Base-undecidable properties of universal varieties (Q1237797) (← links)
- On the structure of varieties with equationally definable principal congruences. IV (Q1315322) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- The behavior-realization adjunction and generalized homomorphic relations (Q1391868) (← links)
- A survey of abstract algebraic logic (Q1422446) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- A duality theory for bilattices (Q1866803) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Gentzen-style axiomatizations in equational logic (Q1902550) (← links)
- A complete algebraic characterization of behavioral subtyping (Q1977078) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Amalgamation, congruence-extension, and interpolation properties in algebras (Q2552131) (← links)
- (Q2772759) (← links)
- (Q2772907) (← links)
- (Q2812986) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
- (Q3617284) (← links)
- (Q3689388) (← links)
- Alfred Tarski's work on general metamathematics (Q3795645) (← links)
- Algebraizable logics (Q3815297) (← links)
- (Q3837997) (← links)
- Universal equational theories and varieties of algebras (Q3875904) (← links)
- On the structure of equationally complete varieties. I (Q3953825) (← links)
- On the Structure of Equationally Complete Varieties. II (Q3953826) (← links)
- Equality-Test and If-Then-Else Algebras: Axiomatization and Specification (Q3978179) (← links)
- (Q4011710) (← links)
- (Q4011728) (← links)
- (Q4026904) (← links)
- (Q4029628) (← links)
- The join of equational theories (Q4081228) (← links)
- (Q4085960) (← links)
- (Q4249028) (← links)
- (Q4250358) (← links)
- (Q4260390) (← links)
- (Q4273422) (← links)
