메뉴 건너뛰기




Volumn 5, Issue 3, 1993, Pages 208-223

Partial logics reconsidered: A conservative approach

Author keywords

Partial functions; Partial logic; Recursive functions; Three valued logic

Indexed keywords


EID: 0344109265     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/BF01211555     Document Type: Article
Times cited : (20)

References (19)
  • 2
    • 84934558018 scopus 로고    scopus 로고
    • Blamey, S.: “Partial Logic.” In Handbook of Philosophical Logic, Volume III, D. Gabbay and F. Guenthner (eds.), D. Reidel Publishing Company, 1986.
  • 3
    • 84934558017 scopus 로고    scopus 로고
    • Blikle, A.: “Three-Valued Predicates for Software Specification and Validation.” In VDM — The Way Ahead, Lecture Notes in Computer Science 328, Springer Verlag, 1988.
  • 4
    • 84934558016 scopus 로고    scopus 로고
    • Cheng, J.H.: “A Logic for Partial Functions.” Ph.D. Thesis, Report UJMCS-86-7-1, Dept. of CS, University of Manchester, 1986.
  • 5
    • 84934558013 scopus 로고    scopus 로고
    • Cheng, J.H. and Jones, C.B.: “On the Usability of Logics which Handle Partial Functions.” In Proceedings of the Third Refinement Workshop, C. Morgan and J. Woodcock (eds.), Springer Verlag, 1990.
  • 7
    • 84934558012 scopus 로고    scopus 로고
    • Dahl, O.-J.: Verifiable Programming. The Hoare Series, Prentice Hall, 1992.
  • 8
    • 84934558011 scopus 로고    scopus 로고
    • Elvang-Gøransson, M.: “Some properties of WSL.” Preprint, Dept. of Informatics, University of Oslo, 1991.
  • 9
    • 84934558010 scopus 로고    scopus 로고
    • Gallier, J.H.: Logic for Computer Science. Harper & Row, 1986.
  • 11
    • 84934558015 scopus 로고    scopus 로고
    • Goguen, J.A.: “Abstract Errors for Abstract Data Types.” In Formal Description of Programming Concepts, North Holland, 1978.
  • 15
    • 84934558014 scopus 로고    scopus 로고
    • Kleene, S.C.: Introduction to Metamathematics. North Holland, 1952.
  • 16
    • 84934557989 scopus 로고    scopus 로고
    • Konikowska, B., Tarlecki, A. and Blikle, A.: “A Three-Valued Logic for Software Specification and Validation.” In VDM — The Way Ahead, Lecture Notes in Computer Science 328, Springer Verlag, 1988.
  • 17
    • 84934557986 scopus 로고    scopus 로고
    • Manna, Z.: Mathematical Theory of Computation. McGraw-Hill, 1974.
  • 18
    • 84915980322 scopus 로고
    • An Approach to Program Reasoning Based on a First Order Logic for Partial Functions
    • Dept. of EECS, UCSD, USA
    • (1984) Report CS-081
    • Owe, O.1


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