On equivalent forms of fuzzy logic systems NM and IMTL
From MaRDI portal
Publication:1406865
DOI10.1016/S0165-0114(02)00382-2zbMath1031.03047OpenAlexW2075115375MaRDI QIDQ1406865
Publication date: 7 September 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)00382-2
Fuzzy logicEquivalent formInvolutive monoidal t-norm-based logicMonoidal t-norm-based logicNilpotent minimum logic
Related Items
Several types of filters related to the Stonean axiom in residuated lattices ⋮ Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Fuzzy prime Boolean filters and their operations in IMTL-algebras ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Some properties of fuzzy reasoning in propositional fuzzy logic systems ⋮ Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) ⋮ Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras ⋮ States on finite linearly ordered IMTL-algebras ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ On triangular norm based axiomatic extensions of the weak nilpotent minimum logic ⋮ Formalization of implication based fuzzy reasoning method ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ On a category of fuzzy automata with relations ⋮ Prime fuzzy (implicative) MP-filters of R0-algebras ⋮ Algebraic structures related to nilpotent minimum algebras and rough sets1 ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets ⋮ Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space ⋮ States on \(R_{0}\) algebras ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ Unified full implication algorithms of fuzzy reasoning ⋮ Characterizations of fuzzy ideals in coresiduated lattices ⋮ Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) ⋮ Boolean products of R0-algebras ⋮ Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras ⋮ The quintuple implication principle of fuzzy reasoning ⋮ The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens ⋮ Simplification and independence of axioms of fuzzy logic systems IMTL and NM ⋮ States on finite monoidal t-norm based algebras ⋮ NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL ⋮ The lattice of prefilters of an EQ-algebra ⋮ Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem ⋮ An axiomatic approach of fuzzy rough sets based on residuated lattices ⋮ The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) ⋮ On filter theory of residuated lattices ⋮ A semantic study of the first-order predicate logic with uncertainty involved ⋮ PROPERTY ANALYSIS OF TRIPLE IMPLICATION METHOD FOR APPROXIMATE REASONING ON ATANASSOVS INTUITIONISTIC FUZZY SETS ⋮ Some weaker versions of topological residuated lattices ⋮ EQ-algebras from the point of view of generalized algebras with fuzzy equalities ⋮ Hierarchical structure and applications of fuzzy logical systems ⋮ A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\)
Cites Work
- Unnamed Item
- The completeness and applications of the formal system \(\mathcal L^\ast\)
- A survey on different triangular norm-based fuzzy logics
- 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
- A formal deductive system for fuzzy propositional calculus
- Non-fuzzy versions of fuzzy reasoning in classical logics
- Contrapositive symmetry of fuzzy implications
- On the logic foundation of fuzzy reasoning
- A new class of fuzzy implications. Axioms of fuzzy implication revisited
- Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
- On Fuzzy Logic I Many‐valued rules of inference