On Equational Classes of Algebraic Versions of Logic I.

DOI10.7146/math.scand.a-10987zbMath0208.01202OpenAlexW2531105734MaRDI QIDQ5608747

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

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

Related Items (16)

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 ⋮ How many varieties of cylindric algebras are there ⋮ Quantifiers on distributive lattices ⋮ Equations in the Theory of Monadic Algebras ⋮ The subquasivariety lattice of a discriminator variety ⋮ On subvarieties of symmetric closure algebras ⋮ Algebras with modular lattice reducts and simple subdirectly irreducibles ⋮ Monadic bounded algebras ⋮ Monadic algebras with finite degree ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ 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

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