Non-commutative Łukasiewicz propositional logic

DOI10.1007/s00153-005-0297-8zbMath1096.03020OpenAlexW2018148592MaRDI QIDQ818518

Ioana Leuştean

Publication date: 21 March 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0297-8

zbMATH Keywords

MV-algebrasŁukasiewicz logicpsMV-algebras

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50)

Related Items (max. 100)

Pseudo-BL algebras and pseudo-effect algebras ⋮ A generalization of local fuzzy structures ⋮ Extremal states on bounded residuated \(\ell\)-monoids with general comparability ⋮ State operators on GMV algebras ⋮ Derivations on algebras of a non-commutative generalization of the Łukasiewicz logic ⋮ State operators on generalizations of fuzzy structures ⋮ Unnamed Item ⋮ Monadic GMV-algebras ⋮ On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator ⋮ Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras ⋮ Some properties of \( L\)-fuzzy approximation spaces based on bounded integral residuated lattices ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ Very true operators on MTL-algebras ⋮ A non commutative generalization of *-autonomous lattices ⋮ Join-semilattices whose sections are residuated PO-monoids ⋮ Perfect residuated lattice ordered monoids ⋮ On Standard Completeness for Non-commutative Many-Valued Logics ⋮ Very true pseudo-BCK algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Observations on non-commutative fuzzy logic
• An algebraic approach to non-classical logics
• Metamathematics of fuzzy logic
• On very true
• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Pseudo MV-algebras are intervals in ℓ-groups
• States on pseudo MV-algebras

This page was built for publication: Non-commutative Łukasiewicz propositional logic