A triangular norm-based fuzzy predicate logic
The paper is a continuation of the authors' paper ``A triangular-norm-based propositional fuzzy logic [Fuzzy Sets Syst. 136, 55-70 (2003; Zbl 1030.03022)], reviewed above, and it presents a formal system of the predicate version of this logic. It is based on the nilpotent minimum t-norm \(R_0\) (left-continuous non-continuous t-norm) and is a special case of the MTL-fuzzy logic (monoidal t-norm-based). The underlying algebra of truth values is called \(R_0\)-algebra and is based on the residuation and negation with respect to the \(R_0\) t-norm. The paper contains a detailed presentation of the system and a full proof of the strong completeness theorem.
- A formal deductive system for fuzzy propositional calculus
- A survey on different triangular norm-based fuzzy logics
- A triangular-norm-based propositional fuzzy logic
- Contrapositive symmetry of fuzzy implications
- Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
- Fragments of Many-Valued Statement Calculi
- Free L-algebras
- scientific article; zbMATH DE number 3558027 (Why is no real title available?)
- scientific article; zbMATH DE number 3588655 (Why is no real title available?)
- Logic with truth values in A linearly ordered heyting algebra
- Mathematics behind fuzzy logic
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the strict logic foundation of fuzzy reasoning
- The use of fuzzy outranking relations in preference modelling
- Three complexity problems in quantified fuzzy logic
- Triple I method and interval valued fuzzy reasoning
This page was built for publication: A triangular norm-based fuzzy predicate logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1406864)
