Pages that link to "Item:Q786808"
From MaRDI portal
The following pages link to Cut elimination and word problems for varieties of lattices (Q786808):
Displaying 11 items.
- 1982 news about orthomodular lattices (Q759779) (← links)
- Proof theory for linear lattices (Q1070254) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Lattice-valued representation of the cut-elimination theorem (Q1192582) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- A solution of the uniform word problem for ortholattices (Q3583025) (← links)
- The geometry of non-distributive logics (Q5486243) (← links)