Fuzzy logic and arithmetical hierarchy, II

Studia Logica

Volumn 58, Issue 1, 1997, Pages 129-141

  Hájek, Petr ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Fuzzy logic; Many valued logic; Undecidability

Indexed keywords

EID: 0039548261     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1004948116720     Document Type: Article

References (13)

1. GOTTWALD, S., 1988, Mehrwertige Logik, Akademie-Verlag, Berlin.
2. HÁJEK, P., 'Fuzzy logic and arithmetical hierarchy', Fuzzy Sets and Systems, (to appear).
3. HÁJEK, P., 'Fuzzy logic as logic', In: Mathematical Models of Handling Partial Knowledge in Artificial Intelligence, Erice, Italy, (to appear), G. Coletti et al., Eds., Pergamon Press.
4. NOVÁK, V., 1987, 'First-order fuzzy logic', Studio, Logica 46, 87-109.
5. NOVÁK, V., 1990, 'On the syntactico-semantical completeness of first-order fuzzy logic I, II', Kybernetika 2, 47-26, 134-152.
6. NOVÁK, V., 1990, 'Fuzzy logic revisited', In: EUFIT'94, Aachen.
7. NOVÁK, V., 1995, 'A new proof of completeness of fuzzy logic and some conclusions for approximate reasoning', In: Proc. of IFES'95, Yokohama.
8. PAVELKA, J., 1979, 'On fuzzy logic I, II, III', Zeitschr. f. math. Logik und Grundl. der Math. 25, 45-52, 119-134, 447-464.
9. ROGERS, H., JR., 1967, Theory of recursive functions and effective computability. McGraw-Hill.
10. ROSE, A., and J. B. ROSSER, 1958, 'Fragments of many-valued statement calculi', Trans. A.M.S. 87, 1-53.
11. SCARPELLINI, B., 1962, 'Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz', Journ. Symb. Log. 27, 159-170.
12. TAKEUTI, A., and S. TITANI, 1992, 'Fuzzy logic and fuzzy set theory', Arch. Math. Logic 32.
13. RAGAZ, M., 1981, 'Arithmetische Klassifikation von Formelnmengen der unendlichwertigen Logik', Thesis, ETH Zürich.