Valued quantum B-algebras
From MaRDI portal
Publication:6061524
DOI10.1016/j.fss.2022.05.002zbMath1522.03333OpenAlexW4229042450MaRDI QIDQ6061524
Publication date: 31 October 2023
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2022.05.002
quantalequantum B-algebraextension propertyGlivenko propertypseudo-valuationHorn-Tarski propertycommutative filter
BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Quantum logic (03G12) Quantales (06F07)
Cites Work
- Hereditary arithmetics
- Non-commutative logical algebras and algebraic quantales
- Complete theories
- Filters on some classes of quantum B-algebras
- The unitality of quantum B-algebras
- Commutative deductive systems of pseudo-BCK-algebras
- On extensions of pseudo-valuations on Hilbert algebras
- Monadic classes of quantum B-algebras
- Dual quantum B-algebras
- On the injective hulls of quantum B-algebras
- Q-filters of quantum B-algebras and basic implication algebras
- Generalized Bosbach states. I
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Quantum B-algebras
- Probabilistic averaging in bounded \(R\ell\)-monoids
- Non-commutative Multiple-Valued Logic Algebras
- On two classes of pseudo-BCI-algebras
- BCK/BCI-ALGEBRAS WITH PSEUDO-VALUATIONS
- Quantales and (noncommutative) linear logic
- Glivenko like theorems in natural expansions of BCK-logic
- A non-commutative generalization of MV-algebras
- HOOPS WITH QUASI-VALUATION MAPS
- Quantum B-algebras with involutions
- Lectures on the Model Theory of Valued Fields
- Valued Fields
- Measures in Boolean Algebras
- Pseudoeffect algebras. I: Basic properties
- Pseudoeffect algebras. II: Group representations
- Pseudo-t-norms and pseudo-BL algebras
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Valued quantum B-algebras