Deductive systems in unital quantum-B algebras

DOI10.36045/j.bbms.210912OpenAlexW4322154158MaRDI QIDQ6073790

Lavinia Corina Ciungu

Publication date: 18 September 2023

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.36045/j.bbms.210912

zbMATH Keywords

filterdeductive systemcommutative deductive systemclosed deductive systemquantum-B algebra

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Quantum logic (03G12) Algebraic aspects of posets (06A11) Abstract algebraic logic (03G27)

Cites Work

• Hereditary arithmetics
• Non-commutative logical algebras and algebraic quantales
• Filters on some classes of quantum B-algebras
• The unitality of quantum B-algebras
• Quantum B-algebras: their omnipresence in algebraic logic and beyond
• Commutative deductive systems of pseudo-BCK-algebras
• Some categorical aspects of BCH-algebras
• Monadic classes of quantum B-algebras
• On the injective hulls of quantum B-algebras
• Q-filters of quantum B-algebras and basic implication algebras
• Quantum B-algebras
• Probabilistic averaging in bounded \(R\ell\)-monoids
• Non-commutative Multiple-Valued Logic Algebras
• On two classes of pseudo-BCI-algebras
• A non-commutative generalization of MV-algebras
• Quantum B-algebras with involutions
• Pseudoeffect algebras. I: Basic properties
• Pseudoeffect algebras. II: Group representations
• Pseudo-t-norms and pseudo-BL algebras
• 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

This page was built for publication: Deductive systems in unital quantum-B algebras