Non-commutative logical algebras and algebraic quantales
From MaRDI portal
Publication:386648
DOI10.1016/j.apal.2013.10.007zbMath1322.03049OpenAlexW1990882135MaRDI QIDQ386648
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
Complete lattices, completions (06B23) Ordered groups (group-theoretic aspects) (20F60) Quantales (06F07) Abstract algebraic logic (03G27)
Related Items
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