Effectiveness and multivalued logics

Journal of Symbolic Logic

Volumn 71, Issue 1, 2006, Pages 137-162

  Gerla, Giangiacomo ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

Computability; Domain theory; Fuzzy logic; Multi valued logic

Indexed keywords

EID: 33645358650     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1140641166     Document Type: Article

References (19)

1. 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.
2. _, Fuzzy logic, continuity and effectiveness, Archive for Mathematical Logic, vol. 41 (2002), pp. 643-667.
3. 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.
4. D. DUBOIS and H. PRADE, Possibility theory: An approach to computerized processing of uncertainty, Plenum Press, New York, 1988.
5. G. GERLA, Decidability, partial decidability and sharpness relation for L-subsets, Studia Logica, vol. 46 (1987), pp. 227-238.
6. _, Inferences in probability logic, Artificial Intelligence, vol. 70 (1994), pp. 33-52.
7. _, Probability-like functionals and fuzzy logic, Journal of Mathematical Analysis and Application, vol. 216 (1997), pp. 438-465.
8. _, Fuzzy logic: Mathematical tools for approximate reasoning, Kluwer Academic Publishers, Dordrecht, 2001.
9. J. A. GOGUEN, The logic of inexact concepts, Synthese, vol. 19 (1968/69), pp. 325-373.
10. S. GOTTWALD, A treatise on many-valued logics, Research Studies Press, Baldock, 2000.
11. P. HÁJEK, Metamathematics of fuzzy logic, Kluwer Academic Publishers, Dordrecht, 1998.
12. F. MONTAGNA, Three complexity problems in quantified fuzzy logic, Studia Logica, vol. 68 (2001), pp. 143-152.
13. D. MUNDICI, R. CIGNOLI, and I. D'OTTAVIANO, Algebraic foundations of many-valued reasoning, Kluwer Academic Publishers, Dordrecht, 2000.
14. V. NOVÁK, I. PERFILIEVA, and J. MOCKOR, Mathematical principles of fuzzy logic, Kluwer Academic Publishers, Dordrecht, 1999.
15. 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.
16. B. SCARPELLINI, Die Nichaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz, this JOURNAL, vol. 27 (1962), pp. 159-170.
17. G. SHAFER, A mathematical theory of evidence, Princeton University Press, Princeton, 1976.
18. M. SMYTH, Effectively given domains, Theoretical Computer Science, vol. 5(1977), pp. 257-274.
19. 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.