A characterization of truth-functions in the nilpotent minimum logic

DOI10.1016/S0165-0114(03)00138-6zbMath1050.03021OpenAlexW1976619596WikidataQ59306588 ScholiaQ59306588MaRDI QIDQ1885724

Bao-Shu Wang, Xiang-Yun Wang, San-min Wang

Publication date: 12 November 2004

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0165-0114(03)00138-6

zbMATH Keywords

Fuzzy logicNormal formsNM-algebraFuzzy logic functionNM-function

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items

Normal forms and free algebras for some extensions of MTL ⋮ Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) ⋮ Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ Probability measures in the logic of nilpotent minimum

Cites Work

• Unnamed Item
• Metamathematics of fuzzy logic
• Continuity of left-continuous triangular norms with strong induced negations and their boundary condition
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Normal forms for fuzzy logic functions and their approximation ability
• A formal deductive system for fuzzy propositional calculus
• Free cancellative hoops
• A triangular-norm-based propositional fuzzy logic
• Contrapositive symmetry of fuzzy implications
• NORMAL FORMS FOR FUZZY LOGIC — AN APPLICATION OF KOLMOGOROV’S THEOREM
• A constructive proof of McNaughton's theorem in infinite-valued logic
• A geometric proof of the completeness of the Łukasiewicz calculus
• A theorem about infinite-valued sentential logic
• A note on functions associated with Gödel formulas