This interactive tutorial will teach you how to use the sequent calculus, a simple set of rules with which you can use to show the truth of statements in first order logic. It is geared towards anyone with some background in writing software for computers, with knowledge of basic boolean logic.
T. Mossakowski, и A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), том 8412 из Lecture Notes in Computer Science, стр. 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, A. Haxthausen, D. Sannella, и A. Tarlecki. Logics of formal specification languages, том 22 из Monographs in Theoretical Computer Science, глава 3, Springer-Verlag Heidelberg, (2008)
T. Mossakowski, P. Hoffman, S. Autexier, и D. Hutter. CASL Reference Manual, том 2960 из Lecture Notes in Computer Science, глава ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
M. Codescu, и T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, том 6859 из Lecture Notes in Computer Science, стр. 145-160. Springer, (2011)