Observations on the monoidal t-norm logic
From MaRDI portal
Publication:1867661
DOI10.1016/S0165-0114(02)00057-XzbMath1012.03035OpenAlexW2052913890MaRDI QIDQ1867661
Publication date: 2 April 2003
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0165-0114(02)00057-x
fuzzy logicŁukasiewicz logicproduct logicGödel logicnonclassical logicsmonoidal t-norm logicArchimedian property
Related Items (33)
The construction of left-continuous t-norms: a geometric approach in two dimensions ⋮ Triangular norms. Position paper II: General constructions and parameterized families ⋮ Triangular norms. Position paper III: Continuous t-norms ⋮ Problems on triangular norms and related operators ⋮ \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new? ⋮ First-order nilpotent minimum logics: first steps ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Disjunctive elimination rule and its application in MTL ⋮ On the failure of standard completeness in \(\Pi\)MTL for infinite theories ⋮ Product logic and probabilistic Ulam games ⋮ Decomposition of idempotent pseudo-uninorms via ordinal sum ⋮ The approximation of left-continuous t-norms ⋮ Introduction ⋮ How to construct left-continuous triangular norms -- state of the art. ⋮ Formal systems of fuzzy logic and their fragments ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Real coextensions as a tool for constructing triangular norms ⋮ Triangular norm based graded convex fuzzy sets ⋮ NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL ⋮ \(H\)-transformation of t-norms ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Triangular norm based predicate fuzzy logics ⋮ MTL-algebras arising from partially ordered groups ⋮ Unnamed Item ⋮ Standard completeness theorem for \(\Pi\)MTL ⋮ Regular left-continuous t-norms ⋮ Cancellativity properties for t-norms and t-subnorms ⋮ Structure of Uninorms with Continuous Diagonal Functions ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Totally Ordered Monoids Based on Triangular Norms ⋮ A note on minimal axiomatisations of some extensions of MTL ⋮ An answer to an open problem on triangular norms
Cites Work
- Unnamed Item
- Unnamed Item
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A new axiomatization for involutive monoidal t-norm-based logic
- Triangular norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- On a class of left-continuous \(\text t\)-norms
- Contrapositive symmetry of fuzzy implications
- On Archimedean triangular norms
- New family of triangular norms via contrapositive symmetrization of residuated implications
- Pseudo-t-norms and pseudo-BL algebras
- About axiomatic systems of product fuzzy logic
This page was built for publication: Observations on the monoidal t-norm logic
