On Equational Classes of Algebraic Versions of Logic I.

DOI10.7146/MATH.SCAND.A-10987MaRDI QIDQ5608747zbMATH OpenOpenAlexFDO

Authors J. Donald Monk

Publication date 1970

Published in MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Lattices of varieties (08B15) Logical aspects of Boolean algebras (03G05)

Cited in

(16)

• Finite equational bases for finite algebras in a congruence-distributive equational class
• Equations in the theory of \(Q\)-distributive lattices
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• ENDOMORPHISMS OF DISTRIBUTIVE LATTICES WITH A QUANTIFIER
• Monadic algebras with finite degree
• Axiom systems for first order logic with finitely many variables
• Bjarni Jónsson's contributions in algebra
• The subquasivariety lattice of a discriminator variety
• Quasivarities of distributive lattices with a quantifier
• How many varieties of cylindric algebras are there
• Quantifiers on distributive lattices
• Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
• On subvarieties of symmetric closure algebras
• Equations in the Theory of Monadic Algebras
• Algebras with modular lattice reducts and simple subdirectly irreducibles
• Monadic bounded algebras

This page was built for publication: On Equational Classes of Algebraic Versions of Logic I.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5608747)