Varieties of algebraic systems and propositional calculi

DOI10.1007/BF01979870zbMath0599.08010OpenAlexW1984716227MaRDI QIDQ1080449

A. A. Shum

Publication date: 1984

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187275

zbMATH Keywords

lattices of congruencesJónsson's theorempredicate calculi without equalitySubdirect productssubdirectly irreducible modelssystems of quasi-identitiesvarieties of algebraic systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Equational logic, Mal'tsev conditions (08B05) Classical propositional logic (03B05) Subalgebras, congruence relations (08A30) Products, amalgamated products, and other kinds of limits and colimits (08B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Some varieties of algebraic systems of type ((n),(m))

Cites Work

• Reduced direct products
• Algebras Whose Congruence Lattices are Distributive.
• Some structure results for propositional calculi
• The separation theorem of intuitionist propositional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Varieties of algebraic systems and propositional calculi