Filters on some classes of quantum B-algebras

DOI10.1007/S10773-015-2608-0MaRDI QIDQ904489zbMATH OpenOpenAlexFDO

Authors Michal Botur, Jan Paseka

Publication date 13 January 2016

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

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

zbMATH Keywords

filterquantalequantum B-algebraprime filterpseudo MTL-algebrapseudo-hoop

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Cited in

(14)

• The completions of multi-posets and quantum B-algebras
• Filter theory of pseudo hoop-algebras
• Monadic classes of quantum B-algebras
• A dual equivalence for cofinal quantum B-algebras
• On soft quantum B-algebras and fuzzy soft quantum B-algebras
• Valued quantum B-algebras
• Pseudo-equality algebras and residuated posets
• Q-filters of quantum B-algebras and basic implication algebras
• Quasi-pseudo-hoops: an extension to pseudo-hoops
• On the injective hulls of quantum B-algebras
• Dual quantum B-algebras
• The unitality of quantum B-algebras
• Locally unital quantum B-algebras
• Deductive systems in unital quantum-B algebras

Describes a project that uses

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)