Non-commutative Łukasiewicz propositional logic (Q818518): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4893133 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2737551 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4542632 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic Analysis of Many Valued Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A New Proof of the Completeness of the Lukasiewicz Axioms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic foundations of many-valued reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pseudo MV-algebras are intervals in ℓ-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: States on pseudo MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3222191 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2737556 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4542634 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On very true / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Observations on non-commutative fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5692887 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4429231 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to non-classical logics / rank | |||
Normal rank |
Latest revision as of 12:13, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-commutative Łukasiewicz propositional logic |
scientific article |
Statements
Non-commutative Łukasiewicz propositional logic (English)
0 references
21 March 2006
0 references
The system \(\mathcal{PL}\) is introduced as the non-commutative counterpart of Łukasiewicz propositional logic. The models are the non-commutative generalizations of MV-algebras as presented by \textit{G. Georgescu} and \textit{A. Iorgulescu} in ``Pseudo-MV algebras'' [Mult.-Valued Log. 6, No.~1--2, 95--135 (2001; Zbl 1014.06008)]. Since any psMV-algebra is a pseudo BL-algebra with some additional properties, this paper follows the ideas presented by \textit{P. Hájek} in ``Observations on non-commutative fuzzy logic'' [Soft Comput. 8, No.~1, 38--43 (2003; Zbl 1075.03009)]. After analyzing the system \(\mathcal{PL}\), some further axiomatic extensions \(\mathcal{PL}_{r}\) and \(\mathcal{L}\) are considered. Adding one unary logical connective, which satisfies the modal axiom (K), leads to the propositional calculus \(\mathcal {PL}_{vt}\) that can be interpreted as an axiomatization for the fuzzy truth value ``very true'' in the non-commutative Łukasiewicz logic. \(\mathcal{PL}_{vt}\) is proved to be a conservative extension of \(\mathcal{PL}_{r}\).
0 references
Łukasiewicz logic
0 references
MV-algebras
0 references
psMV-algebras
0 references