A Calculus for Rational Łukasiewicz Logic and Related Systems

DOI10.1007/978-3-319-40581-0_12MaRDI QIDQ5117205zbMATH OpenOpenAlexFDO

Authors

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

atomic formulafuzzy logicpropositional variablereal intervaltruth function

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cites work

• A constructive analysis of RM
• A theorem about infinite-valued sentential logic
• Fuzzy quantifiers. A computational theory
• Giles's game and the proof theory of Łukasiewicz logic
• Hintikka-style semantic games for fuzzy logics
• scientific article; zbMATH DE number 6276266 (Why is no real title available?)
• Interpolation in fuzzy logic
• Metamathematics of fuzzy logic
• Randomized game semantics for semi-fuzzy quantifiers
• Sequent and hypersequent calculi for abelian and łukasiewicz logics

Cited in

(2)

• Randomized semantic games for fuzzy logics
• scientific article; zbMATH DE number 5043201 (Why is no real title available?)

This page was built for publication: A Calculus for Rational Łukasiewicz Logic and Related Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117205)