Quantum B-algebras with involutions

DOI10.1142/S0219498821502339zbMath1489.03025arXiv2002.11316OpenAlexW3049150578MaRDI QIDQ5024537

Lavinia Corina Ciungu

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

zbMATH Keywords

BCK-algebraBCI-algebraMV-algebraquantalequantum B-algebraGirard quantaleexistential quantifieruniversal quantifiermonadic Boolean algebraresiduated posetWajsberg hoopmonadic quantum B-algebra

Mathematics Subject Classification ID

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)

Locally unital quantum B-algebras ⋮ Valued quantum B-algebras ⋮ Deductive systems in unital quantum-B algebras ⋮ A dual equivalence for cofinal quantum B-algebras

Uses Software

• Pseudo Hoops

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