A general Glivenko theorem
From MaRDI portal
Publication:1047099
DOI10.1007/s00012-009-0018-yzbMath1185.03097OpenAlexW1991590142MaRDI 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 equationBCK-algebraMV-algebrasemi-direct productHilbert algebraGlivenko's theorem\(L\)-algebra
Quantum groups and related algebraic methods applied to problems in quantum theory (81R50) BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) MV-algebras (06D35)
Related Items
Multi-posets in algebraic logic, group theory, and non-commutative topology ⋮ \(L\)-algebras and three main non-classical logics ⋮ Self-similar monoids related to Hahn groups ⋮ Fuzziness in \(L\)-algebras ⋮ Quantum B-algebras: their omnipresence in algebraic logic and beyond ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC ⋮ L-algebras and topology
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
This page was built for publication: A general Glivenko theorem