A note on axiomatizations of Pavelka-style complete fuzzy logics

DOI10.1016/j.fss.2014.11.021zbMath1400.03054OpenAlexW1978452764MaRDI QIDQ1697340

Petr Cintula

Publication date: 19 February 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2014.11.021

zbMATH Keywords

mathematical fuzzy logicMTL logictruth constantsŁukasiewicz logicsPavelka-style completenessroduct logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (8)

Rational Pavelka logic: the best among three worlds? ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Continuous propositional modal logic ⋮ Fuzzy sets and formal logics ⋮ Editorial ⋮ Implicit definability of truth constants in Łukasiewicz logic ⋮ Structural completeness in many-valued logics with rational constants ⋮ On the complexity of validity degrees in Łukasiewicz logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Product Łukasiewicz logic
• Fuzzy logic with countable evaluated syntax revisited
• Pavelka-style completeness in expansions of Łukasiewicz logic
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Metamathematics of fuzzy logic
• Perfect Pavelka logic
• Residuated fuzzy logics with an involutive negation
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• The Quest for the Basic Fuzzy Logic
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Joint Consistency of Fuzzy Theories
• Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics

This page was built for publication: A note on axiomatizations of Pavelka-style complete fuzzy logics