Preview
Unable to display preview. Download preview PDF.
References
K. R. APT, Ten years of Hoare's logic, to appear.
C. A. R. HOARE, An axiomatic basis for computer programming, Communications of the Association for Computing Machinery 2 (1969), 576–583.
H. KAWAI, Sequential calculus for a first order infinitary temporal logic, to appear.
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.
F. KROGER, LAR: A logic for algorithmic reasoning, Acta Informatica 8 (1977), 242–266.
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.
M. E. SZABO (editor), The collected papers of Gerhard Gentzen, North-Holland Publishing Company, Amsterdam 1969.
M. E. SZABO, Algebra of proofs, North-Holland Publishing Company, Amsterdam 1978.
M. E. SZABO, Variable truth, to appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Szabo, M.E. (1983). A sequent calculus for Kröger logic. In: Salwicki, A. (eds) Logics of Programs and Their Applications. Logic of Programs 1980. Lecture Notes in Computer Science, vol 148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11981-7_21
Download citation
DOI: https://doi.org/10.1007/3-540-11981-7_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11981-4
Online ISBN: 978-3-540-39445-7
eBook Packages: Springer Book Archive