Non-commutative Łukasiewicz propositional logic
From MaRDI portal
Publication:818518
DOI10.1007/s00153-005-0297-8zbMath1096.03020OpenAlexW2018148592MaRDI QIDQ818518
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
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