Free Modular Lattices

From MaRDI portal
Publication:3877741

DOI10.2307/1998318zbMath0437.06006OpenAlexW4234439254MaRDI QIDQ3877741

Ralph Freese

Publication date: 1980

Full work available at URL: https://doi.org/10.2307/1998318




Related Items

Directions in lattice theoryDimension equations in modular latticesGelfand-Ponomarev and Herrmann constructions for quadruples and sextuplesOn the Arithmetic of Projective Coordinate SystemsDecision problems for distributive lattice-ordered semigroupsAn equational logic samplerThe word and generator problems for latticesFree products and the word problemUndecidable fragments of elementary theoriesVarieties of lattices with geometric descriptionsElementary properties of free extensionsAn algebraic glimpse at bunched implications and separation logicFrom multiple sequent for additive linear logic to decision procedures for free latticesComputer proof of monotonicity of operations on orthomodular latticesGraphs with given automorphism group and few edge orbitsBibliography on quantum logics and related structures\(k\)-ary monoids of term operationsFree abelian lattice-ordered groupsFree lattice algorithmsThe undecidability of the elementary theory of lattices of all equational theories of large signatureApplications of coordinatization in modular lattice theory: The legacy of J. von NeumannOn the complexity of equational decision problems for finite height complemented and orthocomplemented modular latticesOn the word problem for the modular lattice with four free generatorsOn some geometrical properties defining classes of rings and varieties of modular latticesJoin-semidistributive lattices and convex geometries.Proof theory for linear latticesA Logical AutobiographyComments on the Contributions



Cites Work