The following pages link to Free Modular Lattices (Q3877741):
Displaying 27 items.
- Free abelian lattice-ordered groups (Q556825) (← links)
- Free lattice algorithms (Q581431) (← links)
- Applications of coordinatization in modular lattice theory: The legacy of J. von Neumann (Q762511) (← links)
- On some geometrical properties defining classes of rings and varieties of modular lattices (Q791552) (← links)
- Proof theory for linear lattices (Q1070254) (← links)
- Dimension equations in modular lattices (Q1080442) (← links)
- The word and generator problems for lattices (Q1105626) (← links)
- Free products and the word problem (Q1108303) (← links)
- Elementary properties of free extensions (Q1149944) (← links)
- Graphs with given automorphism group and few edge orbits (Q1176027) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- \(k\)-ary monoids of term operations (Q1184167) (← links)
- Directions in lattice theory (Q1327464) (← links)
- On the word problem for the modular lattice with four free generators (Q1836679) (← links)
- Join-semidistributive lattices and convex geometries. (Q1865285) (← links)
- Decision problems for distributive lattice-ordered semigroups (Q1891276) (← links)
- Undecidable fragments of elementary theories (Q1906521) (← links)
- Varieties of lattices with geometric descriptions (Q1943680) (← links)
- From multiple sequent for additive linear logic to decision procedures for free lattices (Q1960422) (← links)
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples (Q2371817) (← links)
- Computer proof of monotonicity of operations on orthomodular lattices (Q2446438) (← links)
- On the Arithmetic of Projective Coordinate Systems (Q3333090) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Comments on the Contributions (Q5027252) (← links)
- An equational logic sampler (Q5055725) (← links)
