Nonclassical Logics in Computer Science
|Lecturers||Tadeusz Litak, Lutz Schröder|
|Dates||Mon, Tue, 12:15 – 13:45, 01.255-128|
|Target Audience||WPF INF-MA 8 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI (ECTS-Credits: 7,5)
(Suitable as elective course (WPF) for computer science minors from various departments, including mathematics.)
Given the current development of the Covid-19 pandemic, we will, at least initially, meet online only. The Zoom access data are found in the StudOn course, which you should join.
Patrick Blackburn, Maarten de Rijke, Yde Venema. Modal Logic. Cambridge Tracts in Theoretical Computer Science. 2002
Alexander Chagrov, Michael Zakharyaschev. Modal Logic. Oxford University Press 1997
David Pym. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers, 2002.
Greg Restall. An Introduction to Substructural Logics, Routledge 2000
Nick Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono. Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier 2007
Anne S. Troelstra, Helmut Schwichtenberg, Basic Proof Theory, Cambridge Tracts in Theoretical Computer Science
Anne S. Troelstra, Lectures on Linear Logic, CSLI Publications 1992