Quantum B-algebras with involutions
DOI10.1142/S0219498821502339zbMath1489.03025arXiv2002.11316OpenAlexW3049150578MaRDI QIDQ5024537
Publication date: 26 January 2022
Published in: Journal of Algebra and Its Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2002.11316
BCK-algebraBCI-algebraMV-algebraquantalequantum B-algebraGirard quantaleexistential quantifieruniversal quantifiermonadic Boolean algebraresiduated posetWajsberg hoopmonadic quantum B-algebra
BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Quantum logic (03G12) Quantales (06F07)
Related Items (4)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hereditary arithmetics
- Non-commutative logical algebras and algebraic quantales
- Monadic pseudo-equality algebras
- Representations of monadic MV-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Relative negations in non-commutative fuzzy structures
- Monadic GMV-algebras
- Monadic bounded commutative residuated \(\ell\)-monoids
- Varieties of monadic Heyting algebras. I
- The unitality of quantum B-algebras
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
- Quantum B-algebras: their omnipresence in algebraic logic and beyond
- Functional monadic Heyting algebras.
- Monadic bounded hoops
- On monadic MV-algebras
- Monadic bounded residuated lattices
- Monadic pseudo BCI-algebras and corresponding logics
- Monadic pseudo BE-algebras
- Monadic classes of quantum B-algebras
- On the injective hulls of quantum B-algebras
- On residuated lattices with universal quantifiers
- Quantum B-algebras
- Representable pseudo-BCK-algebras and integral residuated lattices
- Probabilistic averaging in bounded \(R\ell\)-monoids
- Non-commutative Multiple-Valued Logic Algebras
- Monadic BE-algebras
- On monadic quantale algebras: basic properties and representation theorems
- Local pseudo-BCK algebras with pseudo-product
- Quantales and (noncommutative) linear logic
- Constructing locales from quantales
- A non-commutative generalization of MV-algebras
- Monadic NM-algebras
- Pseudoeffect algebras. I: Basic properties
- Pseudoeffect algebras. II: Group representations
- Pseudo-t-norms and pseudo-BL algebras
This page was built for publication: Quantum B-algebras with involutions