SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Fuzzy Sets and Systems

Volumn 73, Issue 3, 1995, Pages 359-363

Fuzzy logic and arithmetical hierarchy

(1) Hájek, Petr a

a INSTITUTE OF COMPUTER SCIENCE (Czech Republic)

Author keywords

Completeness; Logic; Undecidability

Indexed keywords

EID: 0000747487 PISSN: 01650114 EISSN: None Source Type: Journal
DOI: 10.1016/0165-0114(94)00299-M Document Type: Article

Times cited : (56)

References (11)

1
- 6244276408
- preprint No. 45, Universita degli Studi di Napoli
- (1986) Weak decidability and weak recursive enumerability for L-subsets
- Biacino¹ Gerla²

2
- 0004066715
- Akademie-Verlag, Berlin
- (1988) Mehrwertige Logik
- Gottwald¹

3
- 0002923149
- On the syntactico-semantical completeness of first-order fuzzy logic I
- (1990) Kybernetika , vol.26 , pp. 26-47
- Novak¹

4
- 0002923147
- On the syntactico-semantical completeness of first-order fuzzy logic II
- (1990) Kybernetika , vol.26 , pp. 134-152
- Novák¹

5
- 84916510540
- Preprint
- (1993) Ultraproduct theorem and recursive properties of fuzzy logic
- Novák¹

6
- 84916505223
- Preprint
- (1994) Fuzzy logic revisited
- Novák¹

7
- 84982606937
- On fuzzy logic I
- (1979) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.25 , pp. 45-52
- Pavelka¹

8
- 84982559662
- On fuzzy logic II
- (1979) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.25 , pp. 119-134
- Pavelka¹

9
- 84982561022
- On fuzzy logic III
- (1979) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.25 , pp. 447-464
- Pavelka¹

10
- 0004138172
- McGraw-Hill, New York
- (1967) Theory of recursive functions and effective computability
- Rogers¹

11
- 84968466832
- Fragments of many-valued statement calculi
- (1958) Transactions of the American Mathematical Society , vol.87 , pp. 1-53
- Rose¹ Rosser²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.