Proof theory for linear lattices

DOI10.1016/0001-8708(85)90118-5zbMath0584.06003OpenAlexW2003839046MaRDI QIDQ1070254

Mark D. Haiman

Publication date: 1985

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(85)90118-5

zbMATH Keywords

quasivarietyaxiomsnormal form theoremuniversal Horn theorylattices of permuting equivalencesvaluated graphs

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Representation theory of lattices (06B15) Cut-elimination and normal-form theorems (03F05) Lattice ideals, congruence relations (06B10) Modular lattices, Desarguesian lattices (06C05)

Related Items (26)

Two notes on the Arguesian identity ⋮ A perspective on algebraic representations of lattices ⋮ Varieties of groups and normal-subgroup lattices -- a survey ⋮ Arguesian lattices whose skeleton is a chain ⋮ Alan Day's work on modular and arguesian lattices ⋮ Unnamed Item ⋮ On quasi-identities of relation algebras with Diophantine operations ⋮ Varieties of Boolean inverse semigroups ⋮ Congruences, equational theories and lattice representations ⋮ On a Graph Calculus for Algebras of Relations ⋮ Arguesian identities in the congruence variety of Abelian groups ⋮ Solution of Rota's problem on the order of series-parallel networks ⋮ Independence and totalness of subspaces in phase space methods ⋮ Selective correlations in finite quantum systems and the Desargues property ⋮ THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS ⋮ Graphical algebras -- a new approach to congruence lattices ⋮ Decision methods for linearly ordered Heyting algebras ⋮ Arguesian lattices which are not type-1 ⋮ Normal forms for binary relations ⋮ The theory of commuting subalgebras of complete Heyting algebras ⋮ Arguesian lattices which are not linear ⋮ Graphical operations on projective spaces ⋮ An identity for subgroup lattices of Abelian groups ⋮ Geometric identities in lattice theory ⋮ Arguesian identities in linear lattices ⋮ The theory of commuting Boolean sigma-algebras

Cites Work

• Recursively unsolvable word problems of modular lattices and diagram- chasing
• Cut elimination and word problems for varieties of lattices
• Mal'cev conditions for Horn sentences with congruence permutability
• Two notes on the Arguesian identity
• A complete logic for n-permutable congruence lattices
• On the word problem of lattices with the help of graphs
• Embedding and unsolvability theorems for modular lattices
• On the word problem for the modular lattice with four free generators
• Untersuchungen über das logische Schliessen. I
• Factorizations of Pieri rules for Macdonald polynomials
• Topology of series-parallel networks
• The class of Arguesian lattices is self-dual
• Theory of equivalence relations
• Free lattices. II
• Representation of Modular Lattices and Of Relation Algebras
• The Coordinatization of Arguesian Lattices
• Free Modular Lattices
• FREE MODULAR LATTICES AND THEIR REPRESENTATIONS
• LATTICES, REPRESENTATIONS, AND ALGEBRAS CONNECTED WITH THEM. II
• Fragments of first order logic, I: universal Horn logic
• The Undecidability of the Word Problems for Projective Geometries and Modular Lattices
• A Combinatorial Model for Series-Parallel Networks
• On sentences which are true of direct unions of algebras
• On the representation of lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof theory for linear lattices