A characterization of truth-functions in the nilpotent minimum logic
From MaRDI portal
Publication:1885724
DOI10.1016/S0165-0114(03)00138-6zbMath1050.03021WikidataQ59306588 ScholiaQ59306588MaRDI QIDQ1885724
San-min Wang, Bao-Shu Wang, Xiang-Yun Wang
Publication date: 12 November 2004
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
03B52: Fuzzy logic; logic of vagueness
Related Items
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