A sequent calculus for Kröger logic

  • M. E. Szabo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 148)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    K. R. APT, Ten years of Hoare's logic, to appear.Google Scholar
  2. [2]
    C. A. R. HOARE, An axiomatic basis for computer programming, Communications of the Association for Computing Machinery 2 (1969), 576–583.Google Scholar
  3. [3]
    H. KAWAI, Sequential calculus for a first order infinitary temporal logic, to appear.Google Scholar
  4. [4]
    F. KRÖGER, Logical rules of natural reasoning about programs, in: Automata, languages, and programming (S. Michaelson and R. Milner, editors), Edinburgh University Press, Edinburgh 1976, pp. 87–98.Google Scholar
  5. [5]
    F. KROGER, LAR: A logic for algorithmic reasoning, Acta Informatica 8 (1977), 242–266.Google Scholar
  6. [6]
    M. M. RICHTER and M. E. SZABO, Towards a nonstandard analysis of programs, Proceedings of the Second Victoria Symposium on nonstandard analysis, Victoria, British Columbia, June 1980, to appear.Google Scholar
  7. [7]
    M. E. SZABO (editor), The collected papers of Gerhard Gentzen, North-Holland Publishing Company, Amsterdam 1969.Google Scholar
  8. [8]
    M. E. SZABO, Algebra of proofs, North-Holland Publishing Company, Amsterdam 1978.Google Scholar
  9. [9]
    M. E. SZABO, Variable truth, to appear.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • M. E. Szabo
    • 1
  1. 1.Department of MathematicsConcordia UniversityMontreal

Personalised recommendations