Perfect Pavelka logic

DOI10.1016/J.FSS.2014.06.011zbMath1380.03033OpenAlexW2000005930MaRDI QIDQ1697361

Mirko Navara, Esko Turunen

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.06.011

zbMATH Keywords

MV-algebramathematical fuzzy logicrational Pavelka logicperfect MV-algebraChang's MV-algebraŁukasiewicz operations

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) MV-algebras (06D35)

Related Items (2)

A note on axiomatizations of Pavelka-style complete fuzzy logics ⋮ Representation of fuzzy subsets by Galois connections

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• First-order fuzzy logic
• Mathematics behind fuzzy logic
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Fuzzy logics with an additional involutive negation
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• The logic of inexact concepts
• Perfect MV-algebras and their logic
• Algebraic Analysis of Many Valued Logics
• Algebraizable logics
• On Fuzzy Logic I Many‐valued rules of inference
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Well‐Defined Fuzzy Sentential Logic
• Independence of the axiomatic system for MV-algebras
• On Product Logic with Truth-constants
• Fuzzy logic. Mathematical tools for approximate reasoning

This page was built for publication: Perfect Pavelka logic