Studia Logica 46 (1):87 - 109 (1987)
Abstract |
This paper is an attempt to develop the many-valued first-order fuzzy logic. The set of its truth, values is supposed to be either a finite chain or the interval 0, 1 of reals. These are special cases of a residuated lattice L, , , , , 1, 0. It has been previously proved that the fuzzy propositional logic based on the same sets of truth values is semantically complete. In this paper the syntax and semantics of the first-order fuzzy logic is developed. Except for the basic connectives and quantifiers, its language may contain also additional n-ary connectives and quantifiers. Many propositions analogous to those in the classical logic are proved. The notion of the fuzzy theory in the first-order fuzzy logic is introduced and its canonical model is constructed. Finally, the extensions of Gödel's completeness theorems are proved which confirm that the first-order fuzzy logic is also semantically complete.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1007/BF00396907 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Mathematical Logic.Joseph Robert Shoenfield - 1967 - Reading, MA, USA: Reading, Mass., Addison-Wesley Pub. Co..
Citations of this work BETA
Semantic-Based Regularization for Learning and Inference.Michelangelo Diligenti, Marco Gori & Claudio Saccà - 2017 - Artificial Intelligence 244:143-165.
Fuzzy Natural Deduction.Giangiacomo Gerla & Roberto Tortora - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):67-77.
Fuzzy Natural Deduction.Giangiacomo Gerla & Roberto Tortora - 1990 - Mathematical Logic Quarterly 36 (1):67-77.
Approximate Reasoning Based on Similarity.M. Ying, L. Biacino & G. Gerla - 2000 - Mathematical Logic Quarterly 46 (1):77-86.
Similar books and articles
Some Notes Concerning Fuzzy Logics.Charles Grady Morgan & Francis Jeffry Pelletier - 1977 - Linguistics and Philosophy 1 (1):79 - 97.
Fuzzy Logic and Higher-Order Vagueness.Nicholas J. J. Smith - 2011 - In Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.), Understanding Vagueness: Logical, Philosophical and Linguistic Perspectives. College Publications. pp. 1--19.
New Trends in Fuzzy Logic: Proceedings of the Wilf '95, Italian Workshop on Fuzzy Logic, Naples, Italy, 21-22 September 1995'. [REVIEW]Andrea Bonarini (ed.) - 1996 - World Scientific.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Analytics
Added to PP index
2009-01-28
Total views
57 ( #197,481 of 2,498,161 )
Recent downloads (6 months)
2 ( #282,957 of 2,498,161 )
2009-01-28
Total views
57 ( #197,481 of 2,498,161 )
Recent downloads (6 months)
2 ( #282,957 of 2,498,161 )
How can I increase my downloads?
Downloads