메뉴 건너뛰기




Volumn 200, Issue 1-2, 1998, Pages 335-366

Resolution and model building in the infinite-valued calculus of Łukasiewicz

Author keywords

Davis Putnam procedure; Feasible automated deduction; Horn clauses; Krom clauses; McNaughton functions; Model building; Polynomial complexity; Resolution in infinite valued logic; ukasiewicz calculus

Indexed keywords


EID: 0000366861     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00012-7     Document Type: Article
Times cited : (24)

References (12)
  • 2
    • 0001787165 scopus 로고    scopus 로고
    • Exploiting data dependencies in many-valued logics
    • R. Hähnle, Exploiting data dependencies in many-valued logics, J. Appl. Non-Classical Logics 6 (1996) 49-69.
    • (1996) J. Appl. Non-Classical Logics , vol.6 , pp. 49-69
    • Hähnle, R.1
  • 3
    • 0346889183 scopus 로고
    • The decision problem for formulas in prenex conjunctive normal form with binary disjunctions
    • M.R. Krom, The decision problem for formulas in prenex conjunctive normal form with binary disjunctions, J. Symbolic Logic 35 (1970) 210-216.
    • (1970) J. Symbolic Logic , vol.35 , pp. 210-216
    • Krom, M.R.1
  • 4
    • 0002086082 scopus 로고
    • Untersuchungen über den Aussagenkalkül, Comptes Rendus Séances Société Sciences Lettres Varsovie
    • English translation in: [11, Ch. IV]
    • J. Łukasiewicz, A. Tarski, Untersuchungen über den Aussagenkalkül, Comptes Rendus Séances Société Sciences Lettres Varsovie, Classe III 23 (1930) 30-50. English translation in: [11, Ch. IV].
    • (1930) Classe III , vol.23 , pp. 30-50
    • ŁUkasiewicz, J.1    Tarski, A.2
  • 5
    • 0002141730 scopus 로고
    • A theorem about infinite-valued sentential logic
    • R. McNaughton, A theorem about infinite-valued sentential logic, J. Symbolic Logic 16 (1951) 1-13.
    • (1951) J. Symbolic Logic , vol.16 , pp. 1-13
    • McNaughton, R.1
  • 6
    • 0023537271 scopus 로고
    • Satisfiability in many-valued sentential logic is NP-complete
    • D. Mundici, Satisfiability in many-valued sentential logic is NP-complete, Theoret. Comput. Sci. 52 (1987) 145-153.
    • (1987) Theoret. Comput. Sci. , vol.52 , pp. 145-153
    • Mundici, D.1
  • 7
    • 21344498597 scopus 로고
    • Logic of infinite quantum systems
    • D. Mundici, Logic of infinite quantum systems, Internat. J. Theoret. Phys. 32 (1993) 1941-1955.
    • (1993) Internat. J. Theoret. Phys. , vol.32 , pp. 1941-1955
    • Mundici, D.1
  • 8
    • 0002421518 scopus 로고
    • Łukasiewicz normal forms and toric desingularizations
    • W. Hodges et al. (Eds.), Keele, England, Oxford University Press, Oxford
    • D. Mundici, Łukasiewicz normal forms and toric desingularizations, in: W. Hodges et al. (Eds.), Proc. Logic Coll., 1993, Keele, England, Oxford University Press, Oxford, 1996, pp. 401-423.
    • (1993) Proc. Logic Coll. , pp. 401-423
    • Mundici, D.1
  • 9
    • 0031210523 scopus 로고    scopus 로고
    • Optimal comparison strategies in Ulam's searching game with errors
    • D. Mundici, A. Trombetta, Optimal comparison strategies in Ulam's searching game with errors, Theoret. Comput. Sci. 182 (1997) 217-232.
    • (1997) Theoret. Comput. Sci. , vol.182 , pp. 217-232
    • Mundici, D.1    Trombetta, A.2
  • 10
    • 84968466832 scopus 로고
    • Fragments of many-valued statement calculi
    • A. Rose, J.B. Rosser, Fragments of many-valued statement calculi, Trans. Amer. Math, Soc. 87 (1958) 1-53.
    • (1958) Trans. Amer. Math, Soc. , vol.87 , pp. 1-53
    • Rose, A.1    Rosser, J.B.2
  • 11
    • 0004213353 scopus 로고
    • Clarendon Press, Oxford, Reprinted by Hackett, Indianapolis
    • A. Tarski, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956. Reprinted (1983) by Hackett, Indianapolis.
    • (1956) Logic, Semantics, Metamathematics
    • Tarski, A.1
  • 12
    • 84955608352 scopus 로고    scopus 로고
    • Soundness and completeness of non-classical extended SLD-resolution
    • R. Dyckhoff et al. (Eds.), Lecture Notes in Artificial Intelligence, Springer, Berlin
    • P. VojtásŁ, L. Paulik, Soundness and completeness of non-classical extended SLD-resolution, in: R. Dyckhoff et al. (Eds.), Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, vol. 1050, Springer, Berlin, 1996, pp. 289-301.
    • (1996) Extensions of Logic Programming , vol.1050 , pp. 289-301
    • VojtásŁ, P.1    Paulik, L.2


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