First-order fuzzy logic
From MaRDI portal
This paper is an attempt to develop first-order fuzzy logic based on a truth set being either the interval \(<0,1>\) or a finite chain. The syntax and semantics of first-order fuzzy logic are developed. The notion of a fuzzy theory in first-order fuzzy logic is introduced and its canonical model is constructed. Finally, completeness theorems are proved which are fuzzy extensions of the classical Gödel's theorems (i.e., the classical ones are special cases of the theorems).
Recommendations
Cites work
- A formal system for fuzzy reasoning
- Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets
- Continuous Model Theory. (AM-58)
- Foundations of fuzzy reasoning
- Fuzzy logic and fuzzy reasoning
- Fuzzy sets and systems. Theory and applications
- scientific article; zbMATH DE number 3861123 (Why is no real title available?)
- scientific article; zbMATH DE number 3557739 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- On Fuzzy Logic I Many‐valued rules of inference
- Set theory for fuzzy sets of higher level
- The concept of a linguistic variable and its application to approximate reasoning. I
- The logic of inexact concepts
Cited in
(43)- On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA)
- First-order logic -- The unity of fuzziness and randomness
- Fuzzy logic and fuzzy set theory
- Algebraic structures in fuzzy logic
- On fuzzy fantastic filters of lattice implication algebras
- Fuzzy n-fold positive implicative filters in lattice implication algebras
- A fuzzy logic with interval truth values
- Fuzzy types: A framework for handling uncertainty about types of objects
- Perfect Pavelka logic
- Open theories, consistency and related results in fuzzy logic
- \(L\)-valued propositional logic \(L_{\text{vpl}}\)
- Integrated semantics and logic metric spaces
- A quantified coalgebraic van Benthem theorem
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
- Fuzzy topology via fuzzy geometric logic with graded consequence
- Fuzzy reasoning based on the extension principle
- A first-order logic system for fuzzy predicate calculus based on FI-algebras
- Soft lattice implication algebras
- scientific article; zbMATH DE number 3861124 (Why is no real title available?)
- scientific article; zbMATH DE number 5669606 (Why is no real title available?)
- On theories and models in fuzzy predicate logics
- From classical to fuzzy type theory
- scientific article; zbMATH DE number 4156412 (Why is no real title available?)
- Fuzzy Models of First Order Languages
- On Fuzzy Logic I Many‐valued rules of inference
- scientific article; zbMATH DE number 2030569 (Why is no real title available?)
- scientific article; zbMATH DE number 2061765 (Why is no real title available?)
- scientific article; zbMATH DE number 3997761 (Why is no real title available?)
- Uncertain fuzzy values still in the framework of first-order logic
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
- Semantic-based regularization for learning and inference
- scientific article; zbMATH DE number 269313 (Why is no real title available?)
- Theory and applications of the truth degrees of first-order fuzzy predicate formulas based on an interpretation model
- Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- A theorem about infinite-valued sentential logic
- \(\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)\)
- scientific article; zbMATH DE number 7687773 (Why is no real title available?)
- Completeness with respect to a chain and universal models in fuzzy logic
- Generalised geometric logic
- On a new classification of triangular norms
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
This page was built for publication: First-order fuzzy logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1095132)
