A new axiomatization for involutive monoidal t-norm-based logic
From MaRDI portal
Publication:1349201
DOI10.1016/S0165-0114(01)00100-2zbMath0998.03024MaRDI QIDQ1349201
Sándor Jenei, Siegfried Johannes Gottwald
Publication date: 21 May 2002
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
rotation invariance; triangular norm; axiomatization; Girard monoids; monoidal t-norm-based residuated logic
03B52: Fuzzy logic; logic of vagueness
Related Items
On equivalent forms of fuzzy logic systems NM and IMTL, How to construct left-continuous triangular norms -- state of the art., Observations on the monoidal t-norm logic, A note on minimal axiomatisations of some extensions of MTL, Simplification and independence of axioms of fuzzy logic systems IMTL and NM, The logic of tied implications. I: Properties, applications and representation, Issues on adjointness in multiple-valued logics, Mathematical fuzzy logic as a tool for the treatment of vague information, Mathematical Fuzzy Logics
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Triangular norms
- Residuated fuzzy logics with an involutive negation
- Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
- Interpolation and extrapolation of fuzzy quantities revisited -- an axiomatic approach
- Unnamed Item
- Unnamed Item