A Note on the Implicational Class Generated by a Class of Structures
From MaRDI portal
Publication:4053721
DOI10.4153/CMB-1973-100-4zbMath0299.08007MaRDI QIDQ4053721
Publication date: 1973
Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)
06D05: Structure and representation theory of distributive lattices
06C15: Complemented lattices, orthocomplemented lattices and posets
08B99: Varieties
08Axx: Algebraic structures
Related Items
SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY, Another proof that \(ISP_ r(K)\) is the least quasivariety containing K, Axiomatizability of replete classes, Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class, 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