Effectiveness and multivalued logics
Giangiacomo Gerla
Source: J. Symbolic Logic Volume 71, Issue 1
(2006), 137-162.
Abstract
Effective domain theory is applied to fuzzy logic. The aim is to give suitable notions of semi-decidable and decidable L-subset and to investigate about the effectiveness of the fuzzy deduction apparatus.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1140641166
Digital Object Identifier: doi:10.2178/jsl/1140641166
Mathematical Reviews number (MathSciNet): MR2210059
Zentralblatt MATH identifier: 05038891
References
L. Biacino and G. Gerla Decidability, recursive enumerability and Kleene hierarchy for $L$-subsets, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 35 (1989), pp. 49--62.
Mathematical Reviews (MathSciNet): MR982703
-------- Fuzzy logic, continuity and effectiveness, Archive for Mathematical Logic, vol. 41 (2002), pp. 643--667.
Mathematical Reviews (MathSciNet): MR1932821
Digital Object Identifier: doi:10.1007/s001530100128
Zentralblatt MATH: 1024.03024
A. Di Nola and G. Gerla Fuzzy models of first order languages, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 32 (1986), pp. 331--340.
Mathematical Reviews (MathSciNet): MR854662
D. Dubois and H. Prade Possibility theory: An approach to computerized processing of uncertainty, Plenum Press, New York,1988.
Mathematical Reviews (MathSciNet): MR1104217
G. Gerla Decidability, partial decidability and sharpness relation for $L$-subsets, Studia Logica, vol. 46 (1987), pp. 227--238.
Mathematical Reviews (MathSciNet): MR938716
Digital Object Identifier: doi:10.1007/BF00372547
Zentralblatt MATH: 0645.03053
-------- Inferences in probability logic, Artificial Intelligence, vol. 70 (1994), pp. 33--52.
Mathematical Reviews (MathSciNet): MR1301609
Digital Object Identifier: doi:10.1016/0004-3702(94)90102-3
Zentralblatt MATH: 0821.03014
-------- Probability-like functionals and fuzzy logic, Journal of Mathematical Analysis and Application, vol. 216 (1997), pp. 438--465.
Mathematical Reviews (MathSciNet): MR1489589
Digital Object Identifier: doi:10.1006/jmaa.1997.5659
Zentralblatt MATH: 0891.03006
-------- Fuzzy logic: Mathematical tools for approximate reasoning, Kluwer Academic Publishers, Dordrecht,2001.
Mathematical Reviews (MathSciNet): MR1862291
J. A. Goguen The logic of inexact concepts, Synthese, vol. 19 (1968/69), pp. 325--373.
S. Gottwald A treatise on many-valued logics, Research Studies Press, Baldock,2000.
Mathematical Reviews (MathSciNet): MR1856623
Zentralblatt MATH: 1048.03002
P. Hájek Metamathematics of fuzzy logic, Kluwer Academic Publishers, Dordrecht,1998.
Mathematical Reviews (MathSciNet): MR1900263
F. Montagna Three complexity problems in quantified fuzzy logic, Studia Logica, vol. 68 (2001), pp. 143--152.
Mathematical Reviews (MathSciNet): MR1950038
Digital Object Identifier: doi:10.1023/A:1011958407631
Zentralblatt MATH: 0985.03014
D. Mundici, R. Cignoli, and I. D'Ottaviano Algebraic foundations of many-valued reasoning, Kluwer Academic Publishers, Dordrecht,2000.
Mathematical Reviews (MathSciNet): MR1786097
Zentralblatt MATH: 0937.06009
V. Novák, I. Perfilieva, and J. Mockor Mathematical principles of fuzzy logic, Kluwer Academic Publishers, Dordrecht,1999.
Mathematical Reviews (MathSciNet): MR1733839
J. Pavelka On fuzzy logic I: Many-valued rules of inference, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 45--52.
Mathematical Reviews (MathSciNet): MR524558
B. Scarpellini Die Nichaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz, Journal of Symbolic Logic, vol. 27 (1962), pp. 159--170.
JSTOR: links.jstor.org
Mathematical Reviews (MathSciNet): MR153538
Digital Object Identifier: doi:10.2307/2964111
G. Shafer A mathematical theory of evidence, Princeton University Press, Princeton,1976.
Mathematical Reviews (MathSciNet): MR464340
Zentralblatt MATH: 0359.62002
M. Smyth Effectively given domains, Theoretical Computer Science, vol. 5 (1977), pp. 257--274.
Mathematical Reviews (MathSciNet): MR491093
Digital Object Identifier: doi:10.1016/0304-3975(77)90045-7
Zentralblatt MATH: 0429.03028
L. A. Zadeh The concept of a linguistic variable and its application to approximate reasoning I, II, III, Information Sciences, vol. 8, 9 (1975), pp. 199--275, 301--357, 43--80.
Mathematical Reviews (MathSciNet): MR386369
Digital Object Identifier: doi:10.1016/0020-0255(75)90036-5
