On Equational Classes of Algebraic Versions of Logic I.
From MaRDI portal
Publication:5608747
DOI10.7146/math.scand.a-10987zbMath0208.01202OpenAlexW2531105734MaRDI QIDQ5608747
Publication date: 1970
Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/166146
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.