Equational Bases and Nonmodular Lattice Varieties

Related Items

Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Yankov Characteristic Formulas (An Algebraic Account), The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond, The Variety of Modular Lattices is Not Generated by its Finite Members, Finitely Presented Lattices, Notes on join semidistributive lattices, Equational axioms for classes of lattices, Unnamed Item, Bounded endomorphisms of free P-algebras, Varieties of K-lattices, Unnamed Item, On the symmetric parts of finitely generated free lattices, Universal algebraic methods for non-classical logics, On Freese’s technique, Atoms and coatoms in three-generated lattices, 3-3 lattice inclusions imply congruence modularity, Some Remarks Concerning the Varieties Generated by the Diamond and the Pentagon, Unnamed Item, Finite Sublattices of a Free Lattice, Characteristic Formulas Over Intermediate Logics, Lattice NExtS4 from the Embedding Theorem Viewpoint, The shape of congruence lattices, Cyclic Tarski algebras, 3-3 lattice inclusions imply congruence modularity, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Splitting algebra and a notion of α-retract, Splittings in varieties of logic, Unnamed Item, Finitely Presented Lattices: Canonical Forms and the Covering Relation, Primitive lattice varieties, Bjarni Jónsson's contributions in algebra, Addendum to ``Congruence normality of Alan Day, Directions in lattice theory, Jónsson's contributions to lattice theory, Singular covers in free lattices, Almost distributive lattice varieties, Extensions of Algebraic Systems, The class of bounded lattices is not axiomatizable, On minimal simple lattices, Cayley lattices of finite Coxeter groups are bounded, The generalized doubling construction and formal concept analysis, On the Arithmetic of Projective Coordinate Systems, Relational lattices: from databases to universal algebra, Equational density of clones of polynomial functions, The Amalgamation Property for Varieties of Lattices, On the lattice property of shard orders, Nonmodular lattices derived from distributive ones representing qualitative biologic interactions, Alan Day's early work: Congruence identities, Alan Day's work on modular and arguesian lattices, The structure of lattices of subframe logics, Dual discriminator subvarieties of a variety, Characteristic formulas of partial Heyting algebras, Projective Geometries as Projective Modular Lattices, Lattices due to increasing low energy relational processes, Fully invariant and verbal congruence relations, Equations in the theory of \(Q\)-distributive lattices, The subvariety structure of weakly associative lattices with the unique bound property, Derived semidistributive lattices, The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras, Sublattices of associahedra and permutohedra, Inflation of finite lattices along all-or-nothing sets, The extended permutohedron on a transitive binary relation., Free lattices in some small varieties, Idempotents and one-sided units: lattice invariants and a semigroup of functors on the category of monoids, Lattices of equational theories of models, The lattice of varieties of modal algebras is not strongly atomic, B-frame duality, Lattices isomorphic to subsemilattice lattices of finite trees, Willem Blok and modal logic, Interval lattices and the amalgamation property, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Mathematical modal logic: A view of its evolution, Covers in Free Lattices, Distributivity conditions and the order-skeleton of a lattice, Projective \(p\)-algebras, The core label order of a congruence-uniform lattice, Remarks about the Q-lattice of the variety of lattices, Bounded homomorphisms and finitely generated fiber products of lattices, Varieties of Birkhoff systems. I, Even more about the lattice of tense logics, Sums of finitely based lattice varieties, From a lattice to its ideal lattice, Varieties whose congruences satisfy certain lattice identities, On modular lattices with four generators, Open questions related to the problem of Birkhoff and Maltsev, Splitting algebras and a weak notion of projectivity, Planar sublattices of FM(4), Lattice varieties covering \(V(L_ 1)\), Free lattice algorithms, Acyclic modular lattices and their representations, Varieties of BL-algebras. III: Splitting algebras, An application of Whitman's condition to lattices with no infinite chains, Finite equational bases for finite algebras in a congruence-distributive equational class, On a problem involving bounded epimorphisms of lattices, The lattice of subvarieties of the variety defined by externally compatible identities of abelian groups of exponent \(n\), A splitting logic in NExt(KTB), Lattices of quasivarieties, Lattice classification by cut-through coding., Lattices of lattice homomorphisms, Splitting lattices generate all lattices, A topological representation theory for lattices, Finite distributive lattices projective in the class of all modular lattices, Embedding lattices into derived lattices., Comparison of MacNeille, canonical, and profinite completions, Subdirectly irreducible double p-algebras of finite range, Two embedding theorems for lower bounded lattices, AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE, The lattice of semigroup varieties, Primitive subsets of lattices, Splittings in subreducts of hoops, Generalizing Galvin and Jónsson's classification to \(N_5\), Splittings in GBL-algebras. I: The general case, On the structure of varieties with equationally definable principal congruences. I, Weak distributive laws and their role in free lattices, On finitely generated lattices of width four, On the existence of prime ideals in semidistributive lattices, A discriminator variety of Heyting algebras with involution, Aspects of distributivity, Lattices of width three generate a nonfinitely based variety, Basic questions for general algebras, On Jónsson's theorem, Splitting p-algebras, Horn sentences with (W) and weak Mal'cev conditions, Projectivity in (bounded) commutative integral residuated lattices, An almost general splitting theorem for modal logic, Varieties generated by lattices of breadth two, Join-semidistributive lattices and convex geometries., On subsemigroup lattices without non-trivial identities, Projective ordinal sums of lattices and isotone sections, Semidistributivity in the Heyting arrow lattice for relational biologic processes

Cites Work