First-order fuzzy logic

DOI10.1007/BF00396907zbMath0632.03021MaRDI QIDQ1095132

Vilém Novák

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

fuzzy theorycanonical modelfirst-order fuzzy logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (20)

Integrated semantics and logic metric spaces ⋮ Fuzzy topology via fuzzy geometric logic with graded consequence ⋮ Perfect Pavelka logic ⋮ An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words ⋮ On fuzzy fantastic filters of lattice implication algebras ⋮ Fuzzy \(n\)-fold positive implicative filters in lattice implication algebras ⋮ A quantified coalgebraic van Benthem theorem ⋮ Fuzzy reasoning based on the extension principle ⋮ Semantic-based regularization for learning and inference ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) ⋮ ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft ⋮ On Fuzzy Logic I Many‐valued rules of inference ⋮ A theorem about infinite-valued sentential logic ⋮ \(L\)-valued propositional logic \(L_{\text{vpl}}\) ⋮ Soft Lattice Implication Algebras ⋮ On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) ⋮ Fuzzy types: A framework for handling uncertainty about types of objects ⋮ Algebraic structures in fuzzy logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fuzzy sets and systems. Theory and applications
• The concept of a linguistic variable and its application to approximate reasoning. I
• Set theory for fuzzy sets of higher level
• A formal system for fuzzy reasoning
• The logic of inexact concepts
• Fuzzy logic and fuzzy reasoning
• On Fuzzy Logic I Many‐valued rules of inference
• Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets
• Foundations of fuzzy reasoning
• Continuous Model Theory. (AM-58)

This page was built for publication: First-order fuzzy logic