A new axiomatization for involutive monoidal t-norm-based logic (Q1349201): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuated fuzzy logics with an involutive negation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2757760 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4803010 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interpolation and extrapolation of fuzzy quantities revisited -- an axiomatic approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Triangular norms / rank | |||
Normal rank |
Revision as of 09:47, 4 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new axiomatization for involutive monoidal t-norm-based logic |
scientific article |
Statements
A new axiomatization for involutive monoidal t-norm-based logic (English)
0 references
21 May 2002
0 references
The paper gives an alternative axiomatization for the monoidal t-norm-based residuated logic originally introduced by \textit{F. Esteva} and \textit{L. Godo} [Fuzzy Sets Syst. 124, 271-288 (2001; Zbl 0994.03017)]. The presented approach stresses the geometric understanding of Girard monoids, especially the rotation invariance \(T(x,y)\leq z\) iff \(T(y,N(z))\leq N(x)\), where \(T\) is a left-continuous triangular norm and \(N\) is a strong negation. The rotation invariance is transformed into axiom schemata for logical calculi, and then serves as a substitute for the standard adjointness condition linking conjunction and implication connectives in t-norm-based residuated logics. The proposed new (and equivalent) axiomatization may give new interesting results in the recently introduced residuated fuzzy logic based on left-continuous t-norms.
0 references
axiomatization
0 references
monoidal t-norm-based residuated logic
0 references
Girard monoids
0 references
rotation invariance
0 references
triangular norm
0 references
0 references