Non-commutative Multiple-Valued Logic Algebras

DOI10.1007/978-3-319-01589-7MaRDI QIDQ2847859zbMATH OpenOpenAlexFDO

Authors Lavinia 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

BL-algebramany-valued logicMV-algebrastate Łukasiewicz logic

Mathematics Subject Classification ID

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

Recommendations

• Advanced Łukasiewicz calculus and MV-algebras
• MODIFICATIONS OF MV-ALGEBRAS CORRESPONDING TO STRONG ORTHOLATTICES
• Algebraic foundations of many-valued reasoning
• From BL to MV
• States on pseudo MV-algebras
• scientific article; zbMATH DE number 1120742
• scientific article; zbMATH DE number 1455805
• scientific article; zbMATH DE number 2070196
• scientific article; zbMATH DE number 1269582
• Algebraic methods in quantum logic

Cited in

(59)

• Algebraic and topological results on lifting properties in residuated lattices
• Commutative pseudo-equality algebras
• Semigroups in complete lattices. Quantales, modules and related topics
• 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
• Relations and non-commutative linear logic
• New types of generalized Bosbach states on non-commutative residuated lattices
• Rota's Fubini lectures: the first problem
• Derivation operators on generalized algebras of BCK logic
• Monadic pseudo BE-algebras
• Quantifiers on L-algebras
• On pseudo-\(e\)BE-algebras
• Residuated lattice of L-fuzzy ideals of a ring
• Monadic classes of quantum B-algebras
• Results in L-algebras
• Involutive filters of pseudo-hoops
• On the relationships between hybrid generalized Bosbach states and \(L\)-filters in non-commutative residuated lattices
• Commutative deductive systems in probability theory on generalizations of fuzzy structures
• Generalized Bosbach states. I
• Variety generated by conical residuated lattice-ordered idempotent monoids
• Fuzzy ideals in pseudo-hoop algebras
• Hybrid generalized Bosbach and Riečan states on non-commutative residuated lattices
• From BL to MV
• Algebraic methods in quantum logic
• scientific article; zbMATH DE number 5520316 (Why is no real title available?)
• scientific article; zbMATH DE number 1342270 (Why is no real title available?)
• Stone duality for R₀-algebras with internal states
• scientific article; zbMATH DE number 6973805 (Why is no real title available?)
• State pseudo-equality algebras
• Extensions of BCK-algebras
• On noncommutative extensions of linear logic
• Quantum B-algebras with involutions
• Pseudo commutative double basic algebras
• Pseudo-BCK algebras derived from directoids
• Invertible square matrices over residuated lattices
• Non-commutative Quantales for Many-Valuedness in Applications
• Logic and Implication
• Algebras of logic as BCK algebras
• A survey of algebraic structures derived from non-classical logics
• Algebraic study to generalized Bosbach states on residuated lattices
• scientific article; zbMATH DE number 5252383 (Why is no real title available?)
• States on implication basic algebras
• Modal operators on pseudo-BE algebras
• Ehoops
• The prime state ideal theorem in state residuated lattices
• On Kronecker product of two RL-graphs and some related results
• Valued quantum B-algebras
• Deductive systems in unital quantum-B algebras
• Extensions of posets with an antitone involution to residuated structures
• Advanced Łukasiewicz calculus and MV-algebras
• A non-commutative generalization of MTL-rings
• On -state filters in state residuated lattices
• A topology related to implication and upsets on a bounded BCK-algebra
• Pseudo GE-algebras as the extension of GE-algebras
• Nodes of pseudo-hoops
• Very true pseudo-BCK algebras
• Boolean lifting property for residuated lattices
• Filters on some classes of quantum B-algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847859)