메뉴 건너뛰기




Volumn 2083 LNAI, Issue , 2001, Pages 211-225

A resolution-based decision procedure for the two-variable fragment with equality

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; DECISION THEORY; SEMANTICS;

EID: 77955046477     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45744-5_16     Document Type: Conference Paper
Times cited : (12)

References (16)
  • 7
    • 0010849308 scopus 로고
    • The unsolvability of the gödel class with identity
    • Goldfarb, W.: the unsolvability of the Gödel Class with Identity. Journal of Symbolic Logic, 49, (1984), 1237-1252.
    • (1984) Journal of Symbolic Logic , vol.49 , pp. 1237-1252
    • Goldfarb, W.1
  • 8
    • 0003617288 scopus 로고
    • Oxford University Press. Edited by Feferman, S., Dawson, J. jr., Kleene, S., Moore, G., Solovay, R., van Heijenoort, J.
    • Gödel, K.: Collected Works, Volume 1: Publications 1929-1936. Oxford University Press. Edited by Feferman, S., Dawson, J. jr., Kleene, S., Moore, G., Solovay, R., van Heijenoort, J., (1986).
    • (1986) Collected Works, Volume 1: Publications 1929-1936
    • Gödel, K.1
  • 10
  • 13
    • 0346438615 scopus 로고    scopus 로고
    • +-class by an A posteriori, liftable order
    • +-Class by an A Posteriori, Liftable Order. Annals of Pure and Applied Logic 104-(1-3), (2000), 219-232.
    • (2000) Annals of Pure and Applied Logic , vol.104 , Issue.1-3 , pp. 219-232
    • De Nivelle, H.1
  • 16
    • 0001538392 scopus 로고
    • A decision method for validity of sentences in two variables
    • Scott, D.: A Decision Method for Validity of Sentences in two Variables. Journal of Symbolic Logic 27, (1962), 477.
    • (1962) Journal of Symbolic Logic , vol.27 , pp. 477
    • Scott, D.1


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