Filters on some classes of quantum B-algebras

DOI10.1007/S10773-015-2608-0zbMATH Open1329.81090arXiv1809.06210OpenAlexW3103949965MaRDI QIDQ904489FDOQ904489

Authors: Michal Botur, Jan Paseka 

Publication date: 13 January 2016

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Abstract: In this paper, we continue the study of quantum B-algebras with emphasis on filters on integral quantum B-algebras. We then study filters in the setting of pseudo-hoops. First, we establish an embedding of a cartesion product of polars of a pseudo-hoop into itself. Second, we give sufficient conditions for a pseudohoop to be subdirectly reducible. We also extend the result of Kondo and Turunen to the setting of noncommutative residuated $vee$-semilattices that, if prime filters and $vee$-prime filters of a residuated $vee$-semilattice $A$ coincide, then $A$ must be a pseudo MTL-algebra.

Full work available at URL: https://arxiv.org/abs/1809.06210

Recommendations

• Filter theory of pseudo hoop-algebras
• Valued quantum B-algebras
• Q-filters of quantum B-algebras and basic implication algebras
• Pseudo-equality algebras and residuated posets
• scientific article; zbMATH DE number 5631903

zbMATH Keywords

filterquantalequantum B-algebraprime filterpseudo MTL-algebrapseudo-hoop

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• A non-commutative generalization of MV-algebras
• Linear logic
• On the structure of generalized BL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Generalized MV-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the structure of pseudo BL-algebras and pseudo hoops in quantum logics
• Filters of residuated lattices and triangle algebras
• On filter theory of residuated lattices
• Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
• Varieties of BL-algebras. I: General properties.
• Quantum B-algebras
• Non-commutative logical algebras and algebraic quantales
• Non-commutative Multiple-Valued Logic Algebras
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Divisibility groupoids -- again
• Komplementäre Halbgruppen Kongruenzen und Quotienten
• Residuation groupoids -- again
• On normal-valued basic pseudo-hoops

Cited In (11)

• Locally unital quantum B-algebras
• Dual quantum B-algebras
• The unitality of quantum B-algebras
• Valued quantum B-algebras
• Deductive systems in unital quantum-B algebras
• The completions of multi-posets and quantum B-algebras
• Q-filters of quantum B-algebras and basic implication algebras
• A dual equivalence for cofinal quantum B-algebras
• On soft quantum B-algebras and fuzzy soft quantum B-algebras
• Monadic classes of quantum B-algebras
• On the injective hulls of quantum B-algebras

Uses Software

• Pseudo Hoops

This page was built for publication: Filters on some classes of quantum B-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q904489)