A Note on the Implicational Class Generated by a Class of Structures

DOI10.4153/CMB-1973-100-4MaRDI QIDQ4053721zbMATH OpenOpenAlexFDO

Authors G. Grätzer, Harry Lakser

Publication date 1973

Published in Canadian Mathematical Bulletin (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4153/cmb-1973-100-4

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Structure and representation theory of distributive lattices (06D05) Algebraic structures (08Axx) Varieties (08B99)

Cited in

(32)

• Algebraically closed p-semilattices
• Some investigations of varieties of \({\mathcal N}\)-lattices
• Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
• The cardinality of subdirectly indecomposable systems in quasivarieties
• On lattice identities satisfied in subquasivariety lattices of varieties of modular lattices
• Independent axiomatizability of quasivarieties of generalized solvable groups
• On atoms in the lattice of quasivarieties
• The lattice of strengthenings of a strongly finite consequence operation
• Finite bases for finitely generated, relatively congruence distributive quasivarities
• Quasivarieties of distributive p-algebras
• Quasivarieties of algebraic systems
• The operation ISKP on classes of algebras
• The lattice of quasivarieties of lattices
• Relative congruence formulas and decompositions in quasivarieties
• Universal geometrical equivalence of the algebraic structures of common signature
• Algebraic geometry over algebraic structures. VI: Geometrical equivalence
• Open questions related to the problem of Birkhoff and Maltsev
• Independent axiomatizability of quasi-varieties of soluble groups
• Algebraic geometry over groups. II: Logical foundations
• On the independent axiomatizability of quasivarieties of universal algebras
• Epimorphisms, definability and cardinalities
• On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.
• Unreasonable lattices of quasivarieties
• Bilattice logics and demi-negation
• A Construction for Pseudocomplemented Semilattices and Two Applications
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Universal algebraic methods for non-classical logics
• An axiomatization for the universal theory of the Heisenberg group
• Another proof that \(ISP_ r(K)\) is the least quasivariety containing K
• Axiomatizability of replete classes
• Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class

This page was built for publication: A Note on the Implicational Class Generated by a Class of Structures

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