Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic

DOI10.2307/2586560zbMath0971.03025OpenAlexW2060401660MaRDI QIDQ4508252

Jeffrey Bruce Paris, Petr Hájek, John C. Shepherdson

Publication date: 14 January 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586560

zbMATH Keywords

product logicconservative extensionŁukasiewicz predicate logicinfinitely valued predicate logicrational Pavelka predicate logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (22)

Omitting types for infinitary \([0,1\)-valued logic] ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Mathematical Fuzzy Logics ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Fuzzy free logic with dual domain semantics ⋮ Omitting uncountable types and the strength of \([0,1\)-valued logics] ⋮ Introduction ⋮ Forcing in Łukasiewicz predicate logic ⋮ A note on the notion of truth in fuzzy logic ⋮ Which logic is the real fuzzy logic? ⋮ Fuzzy sets and formal logics ⋮ Triangular norm based predicate fuzzy logics ⋮ Rota's Fubini lectures: the first problem ⋮ Conservative extension of polyadic MV-algebras to polyadic Pavelka algebras ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ Implicit definability of truth constants in Łukasiewicz logic ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ On theories and models in fuzzy predicate logics ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ On the complexity of validity degrees in Łukasiewicz logic

Cites Work

• Unnamed Item
• Fuzzy logic and arithmetical hierarchy. II
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Metamathematics of fuzzy logic
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• A theorem about infinite-valued sentential logic

This page was built for publication: Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic