Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences

DOI10.2307/2047077zbMath0655.08008OpenAlexW4233480703MaRDI QIDQ3801619

Robert W. Quackenbush

Publication date: 1988

Full work available at URL: https://doi.org/10.2307/2047077

zbMATH Keywords

quasivarietycompleteness theoremlogics of algebrasuniversal class of algebras

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quasivarieties (08C15) Axiomatic model classes (08C10)

Related Items (4)

Algebraic Characterizations for Universal Fragments of Logic ⋮ Reductio ad contradictionem: an algebraic perspective ⋮ A calculus of lax fractions ⋮ A logic of implications in algebra and coalgebra

Cites Work

• Completeness of calculii for axiomatically defined classes of algebras
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences