Fuzzy logic with countable evaluated syntax revisited

DOI10.1016/j.fss.2006.12.002zbMath1197.03025OpenAlexW1967301583MaRDI QIDQ878970

Vilém Novák

Publication date: 4 May 2007

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

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

zbMATH Keywords

fuzzy logicŁukasiewicz logicevaluated syntax

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (7)

On lifting quasi-filters and strong lifting quasi-filters in MV-algebras ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ A note on axiomatizations of Pavelka-style complete fuzzy logics ⋮ Fuzzy sets and formal logics ⋮ On Fuzzy Logic I Many‐valued rules of inference ⋮ A theorem about infinite-valued sentential logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On fuzzy type theory
• Mathematics behind fuzzy logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Algebraic foundations of many-valued reasoning
• Which logic is the real fuzzy logic?
• Fuzzy Models of First Order Languages
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Deduction Theorem for Many‐Valued Inference
• THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
• COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
• The sorites paradox and fuzzy logic
• Omitting types in fuzzy logic with evaluated syntax
• Logic and structure.
• Discovering the world with fuzzy logic

This page was built for publication: Fuzzy logic with countable evaluated syntax revisited