Non-commutative Łukasiewicz propositional logic
From MaRDI portal
Publication:818518
DOI10.1007/s00153-005-0297-8zbMath1096.03020MaRDI 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
03B52: Fuzzy logic; logic of vagueness
03G25: Other algebras related to logic
06D35: MV-algebras
03B50: Many-valued logic
Related Items
Unnamed Item, Extremal states on bounded residuated \(\ell\)-monoids with general comparability, State operators on GMV algebras, State operators on generalizations of fuzzy structures, 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, Very true pseudo-BCK algebras, Pseudo-BL algebras and pseudo-effect algebras, A generalization of local fuzzy structures, 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, Derivations on algebras of a non-commutative generalization of the Łukasiewicz logic, On Standard Completeness for Non-commutative Many-Valued Logics, Perfect residuated lattice ordered monoids, A non commutative generalization of *-autonomous lattices, Join-semilattices whose sections are residuated PO-monoids
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item