메뉴 건너뛰기
Soft Computing
Volumn 10, Issue 7, 2006, Pages 629-630
Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics
Author keywords

[No Author keywords available]
Indexed keywords

EID: 33244475124     PISSN: 14327643     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00500-005-0514-8     Document Type: Article
Times cited : (3)
References (7)
  • 1
    • 33244494517 scopus 로고    scopus 로고
    • A note on Gödel fuzzy logic
    • Bendová K (1999) A note on Gödel fuzzy logic. Soft Comput, 2(4):167-167
    • (1999) Soft Comput , vol.2 , Issue.4 , pp. 167
    • Bendová, K.1
  • 2
    • 33244475208 scopus 로고    scopus 로고
    • Některé sémantické metody v intuicionistické logice
    • Master's thesis, Philosophical Faculty of Charles University Department of Logic
    • Burdová P (1998) Některé sémantickémetody v intuicionistické logice (Some Semantical Methods in Intuitionistic Logic). Master's thesis, Philosophical Faculty of Charles University, Department of Logic
    • (1998)
    • Burdová, P.1
  • 3
    • 0001267326 scopus 로고
    • Intuitionistic logic
    • Gabbay D, Guenthner F (eds) number 164-167 in Synthese Library, chapter III.4. Kluwer, Dordrecht
    • van Dalen D (1986) Intuitionistic logic. In: Gabbay D, Guenthner F (eds), Handbook of Philosophical Logic, number 164-167 in Synthese Library, chapter III.4. Kluwer, Dordrecht, pp 225-340
    • (1986) Handbook of Philosophical Logic , pp. 225-340
    • van Dalen, D.1
  • 4
    • 0001826588 scopus 로고
    • A propositional calculus with denumerable matrix
    • Dummett M (1959) A propositional calculus with denumerable matrix. J Symbolic Logic 25:97-106
    • (1959) J Symbolic Logic , vol.25 , pp. 97-106
    • Dummett, M.1
  • 6
    • 33244484232 scopus 로고    scopus 로고
    • On interplay of quantifiers in Gödel-Dummett fuzzy logics
    • Kozlíková B. Švejdar V. 2004 On interplay of quantifiers in Gödel-Dummett fuzzy logics
    • (2004)
    • Kozlíková, B.1    Švejdar, V.2
  • 7
    • 33244456684 scopus 로고    scopus 로고
    • On inter-expressibility of logical connectives in Gödel fuzzy logic
    • Švejdar V. Bendova7acute; K. (2000) On inter-expressibility of logical connectives in Gödel fuzzy logic. Soft Comput 4(2):103-105
    • (2000) Soft Comput , vol.4 , Issue.2 , pp. 103-105
    • Švejdar, V.1    Bendová, K.2

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