Quantum B-algebras

DOI10.2478/s11533-013-0302-0zbMath1326.03077OpenAlexW2137568670MaRDI QIDQ2440506

Wolfgang Rump

Publication date: 19 March 2014

Published in: Central European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/s11533-013-0302-0

zbMATH Keywords

partially ordered groupquantalenon-commutative logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Quantum logic (03G12) Ordered groups (06F15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantales (06F07)

Related Items (31)

Multi-posets in algebraic logic, group theory, and non-commutative topology ⋮ The unitality of quantum B-algebras ⋮ Hereditary arithmetics ⋮ Monadic classes of quantum B-algebras ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Locally unital quantum B-algebras ⋮ Injective hulls of quantale-enriched multicategories ⋮ Non-commutative logical algebras and algebraic quantales ⋮ Unnamed Item ⋮ Valued quantum B-algebras ⋮ Reflectors to quantales ⋮ Deductive systems in unital quantum-B algebras ⋮ Characterization of a class of fuzzy implication solutions to the law of importation ⋮ A dual equivalence for cofinal quantum B-algebras ⋮ Quantum B‐modules ⋮ A categorical equivalence between logical quantale modules and quantum B‐modules ⋮ Filters on some classes of quantum B-algebras ⋮ Completions of posemigroups by cuts and beyond ⋮ Quantum B-algebras: their omnipresence in algebraic logic and beyond ⋮ Results in L-algebras ⋮ The completions of multi-posets and quantum B-algebras ⋮ Evolution of objects and concepts ⋮ On soft quantum B-algebras and fuzzy soft quantum B-algebras ⋮ A few notes on quantum \(B\)-algebras ⋮ Unnamed Item ⋮ Dual quantum B-algebras ⋮ On the injective hulls of quantum B-algebras ⋮ On injective constructions of \(S\)-semigroups ⋮ Q-filters of quantum B-algebras and basic implication algebras ⋮ Injective hulls of many-sorted ordered algebras ⋮ Quantum B-algebras with involutions

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
• Non-commutative logical algebras and algebraic quantales
• Quantales of open groupoids
• Algebras in the positive cone of po-groups
• Étale groupoids and their quantales
• Groupes et anneaux reticules
• Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup
• Generalized MV-algebras
• Concerning cone algebras
• On the quantisation of spaces
• On varieties of biresiduation algebras
• Representable pseudo-BCK-algebras and integral residuated lattices
• Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
• A noncommutative theory of Penrose tilings
• Varieties of complex algebras
• Quantales and C∗-Algebras
• Logics without the contraction rule
• Bounded distributive lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Residuated Lattices
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Pseudoeffect algebras. I: Basic properties
• Pseudoeffect algebras. II: Group representations
• On the quantisation of points

This page was built for publication: Quantum B-algebras