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

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

Cited in

(17)

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