On equivalent forms of fuzzy logic systems NM and IMTL

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

zbMATH Keywords

Fuzzy logic Equivalent form Involutive monoidal t-norm-based logic Monoidal t-norm-based logic Nilpotent minimum logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

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