Non-commutative logical algebras and algebraic quantales

DOI10.1016/j.apal.2013.10.007zbMath1322.03049OpenAlexW1990882135MaRDI QIDQ386648

Wolfgang Rump, Yi Chuan Yang

Publication date: 10 December 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.10.007

zbMATH Keywords

quantalequantum B-algebraenvelping quantalepseudo-BCK algebrasquantum BL-algebra

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Ordered groups (group-theoretic aspects) (20F60) Quantales (06F07) Abstract algebraic logic (03G27)

Related Items (29)

A covering theory for non-involutive set-theoretic solutions to the Yang-Baxter equation ⋮ 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 ⋮ Locally unital quantum B-algebras ⋮ Injective hulls of quantale-enriched multicategories ⋮ 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 ⋮ Quantum B-algebras: their omnipresence in algebraic logic and beyond ⋮ Quantum B-algebras ⋮ Results in L-algebras ⋮ Structure and representation of semimodules over inclines ⋮ Value semigroups, value quantales, and positivity domains ⋮ 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 ⋮ 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 ⋮ 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
• Effect algebras and unsharp quantum logics.
• Linear logic
• Commutative pseudo BCK-algebras
• Algebras in the positive cone of po-groups
• A note on Bosbach's cone algebras
• Étale groupoids and their quantales
• Residuated lattices. An algebraic glimpse at substructural logics
• \(L\)-algebras, self-similarity, and \(l\)-groups
• On the structure of linearly ordered pseudo-BCK-algebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Projective and supercoherent frames
• On quantales and spectra of C*-algebras
• Generalized MV-algebras
• Products of classes of residuated structures
• On varieties of biresiduation algebras
• Quantum B-algebras
• Effects, observables, states, and symmetries in physics
• Komplementäre Halbgruppen. Eine Darstellungstheorie
• Rechtskomplementäre Halbgruppen, Axiome, Polynome, Kongruenzen
• Banach algebras with an adjoint operation
• CHARACTERIZATION OF PROJECTIVE QUANTALES
• Algebraic and Categorical Aspects of Quantales
• Algebraic Analysis of Many Valued Logics
• Quantales and (noncommutative) linear logic
• Quantales and C∗-Algebras
• A non-commutative generalization of MV-algebras
• On axiom systems of propositional calculi, XIV
• Pseudoeffect algebras. I: Basic properties
• Pseudoeffect algebras. II: Group representations

This page was built for publication: Non-commutative logical algebras and algebraic quantales