On equivalent forms of fuzzy logic systems NM and IMTL

From MaRDI portal
Publication:1406865

DOI10.1016/S0165-0114(02)00382-2zbMath1031.03047OpenAlexW2075115375MaRDI QIDQ1406865

Dao-Wu Pei

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




Related Items

Several types of filters related to the Stonean axiom in residuated latticesThree 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 logicFuzzy prime Boolean filters and their operations in IMTL-algebrasGeneralized Bosbach and Riečan states on nucleus-based-Glivenko residuated latticesParaconsistent constructive logic with strong negation as a contraction-free relevant logicSome properties of fuzzy reasoning in propositional fuzzy logic systemsStone-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-algebrasStates on finite linearly ordered IMTL-algebrasGeneralized Bosbach and Riečan states based on relative negations in residuated latticesOn triangular norm based axiomatic extensions of the weak nilpotent minimum logicFormalization of implication based fuzzy reasoning methodA survey of fuzzy implication algebras and their axiomatizationOn a category of fuzzy automata with relationsPrime fuzzy (implicative) MP-filters of R0-algebrasAlgebraic structures related to nilpotent minimum algebras and rough sets1On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebrasTriple I method of approximate reasoning on Atanassov's intuitionistic fuzzy setsCharacterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor spaceStates on \(R_{0}\) algebrasSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATESUnified full implication algorithms of fuzzy reasoningCharacterizations of fuzzy ideals in coresiduated latticesRough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\)Boolean products of R0-algebrasTopology on the set of \(R_{0}\) semantics for \(R_{0}\) algebrasThe quintuple implication principle of fuzzy reasoningThe \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponensSimplification and independence of axioms of fuzzy logic systems IMTL and NMStates on finite monoidal t-norm based algebrasNMŁ, a schematic extension of F. Esteva and L. Godo's logic MTLThe lattice of prefilters of an EQ-algebraTheory of \((n)\) truth degrees of formulas in modal logic and a consistency theoremAn axiomatic approach of fuzzy rough sets based on residuated latticesThe generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system)On filter theory of residuated latticesA semantic study of the first-order predicate logic with uncertainty involvedPROPERTY ANALYSIS OF TRIPLE IMPLICATION METHOD FOR APPROXIMATE REASONING ON ATANASSOVS INTUITIONISTIC FUZZY SETSSome weaker versions of topological residuated latticesEQ-algebras from the point of view of generalized algebras with fuzzy equalitiesHierarchical structure and applications of fuzzy logical systemsA 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\)



Cites Work