A Calculus for Rational Łukasiewicz Logic and Related Systems

DOI10.1007/978-3-319-40581-0_12zbMath1455.03026OpenAlexW2483597816MaRDI QIDQ5117205

No author found.

Publication date: 20 August 2020

Published in: Information Processing and Management of Uncertainty in Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40581-0_12

zbMATH Keywords

fuzzy logicreal intervaltruth functionatomic formulapropositional variable

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items

Randomized semantic games for fuzzy logics

Cites Work

• Unnamed Item
• Fuzzy quantifiers. A computational theory
• Giles's game and the proof theory of Łukasiewicz logic
• Metamathematics of fuzzy logic
• Interpolation in fuzzy logic
• A constructive analysis of RM
• Randomized game semantics for semi-fuzzy quantifiers
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Hintikka-Style Semantic Games for Fuzzy Logics
• A theorem about infinite-valued sentential logic