A general Glivenko theorem
From MaRDI portal
Publication:1047099
DOI10.1007/s00012-009-0018-yzbMath1185.03097MaRDI QIDQ1047099
Publication date: 4 January 2010
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-009-0018-y
quantum Yang-Baxter equation; BCK-algebra; MV-algebra; semi-direct product; Hilbert algebra; Glivenko's theorem; \(L\)-algebra
81R50: Quantum groups and related algebraic methods applied to problems in quantum theory
06F35: BCK-algebras, BCI-algebras
03G25: Other algebras related to logic
06D35: MV-algebras
Related Items
L-algebras and topology, Unnamed Item, Unnamed Item, Fuzziness in \(L\)-algebras, Multi-posets in algebraic logic, group theory, and non-commutative topology, Quantum B-algebras: their omnipresence in algebraic logic and beyond, \(L\)-algebras and three main non-classical logics, Self-similar monoids related to Hahn groups, Algebraic semantics for the (↔, ¬¬)-fragment of IPC
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(L\)-algebras, self-similarity, and \(l\)-groups
- Residuation groupoids
- Groupes et anneaux reticules
- Metamathematics of fuzzy logic
- A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation
- On the structure of hoops
- Set-theoretical solutions to the quantum Yang-Baxter equation
- MV-algebras: a variety for magnitudes with archimedean units
- Algebraic Analysis of Many Valued Logics
- SEMIDIRECT PRODUCTS IN ALGEBRAIC LOGIC AND SOLUTIONS OF THE QUANTUM YANG–BAXTER EQUATION
- The Semigroup of Varieties of Brouwerian Semilattices
- Hoops and Fuzzy Logic
- Glivenko like theorems in natural expansions of BCK-logic
- Boundary Harnack principle and Martin boundary for a uniform domain