Non-commutative Multiple-Valued Logic Algebras

DOI10.1007/978-3-319-01589-7zbMath1279.03003OpenAlexW649463137MaRDI QIDQ2847859

Lavinia Corina Ciungu

Publication date: 11 September 2013

Published in: Springer Monographs in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-01589-7

zbMATH Keywords

many-valued logicMV-algebraBL-algebrastate Łukasiewicz logic

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Many-valued logic (03B50)

Related Items (41)

Pseudo Commutative Double Basic Algebras ⋮ Pseudo-BCK Algebras Derived from Directoids ⋮ The prime state ideal theorem in state residuated lattices ⋮ State pseudo equality algebras ⋮ Generalized Bosbach states. I ⋮ Modal operators on pseudo-BE algebras ⋮ On pseudo-\(e\)BE-algebras ⋮ Residuated lattice of \(L\)-fuzzy ideals of a ring ⋮ States on implication basic algebras ⋮ Monadic classes of quantum B-algebras ⋮ Unnamed Item ⋮ Algebraic and topological results on lifting properties in residuated lattices ⋮ Variety generated by conical residuated lattice-ordered idempotent monoids ⋮ Unnamed Item ⋮ Valued quantum B-algebras ⋮ Deductive systems in unital quantum-B algebras ⋮ Extensions of posets with an antitone involution to residuated structures ⋮ Boolean lifting property for residuated lattices ⋮ Filters on some classes of quantum B-algebras ⋮ Commutative pseudo-equality algebras ⋮ Fuzzy ideals in pseudo-hoop algebras ⋮ Unnamed Item ⋮ Results in L-algebras ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ Algebraic study to generalized Bosbach states on residuated lattices ⋮ New types of generalized Bosbach states on non-commutative residuated lattices ⋮ Rota's Fubini lectures: the first problem ⋮ Unnamed Item ⋮ Derivation operators on generalized algebras of BCK logic ⋮ Some properties of pseudo-BCK- and pseudo-BCI-algebras ⋮ Commutative deductive systems of pseudo-BCK-algebras ⋮ A representation of residuated lattices satisfying the double negation law ⋮ Involutive filters of pseudo-hoops ⋮ Extensions of BCK-algebras ⋮ Hybrid generalized Bosbach and Rie c̆ an states on non-commutative residuated lattices ⋮ Monadic pseudo BE-algebras ⋮ On the relationships between hybrid generalized Bosbach states and \(L\)-filters in non-commutative residuated lattices ⋮ Very true pseudo-BCK algebras ⋮ Commutative deductive systems in probability theory on generalizations of fuzzy structures ⋮ Quantifiers on L-algebras ⋮ Quantum B-algebras with involutions

This page was built for publication: Non-commutative Multiple-Valued Logic Algebras