A characterization of truth-functions in the nilpotent minimum logic

DOI10.1016/S0165-0114(03)00138-6zbMath1050.03021WikidataQ59306588 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)

zbMATH Keywords

Fuzzy logic; Normal forms; NM-algebra; Fuzzy logic function; NM-function

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

Related Items

STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES, Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), 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), Probability measures in the logic of nilpotent minimum, Computational complexities of axiomatic extensions of monoidal t-norm based logic, Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space

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