Podstawy logik nieklasycznych 06-DPLNLM0
Celem wykładu jest przedstawienie podstawowych systemów współczesnej logiki nieklasycznej i podstawowych metod dowodzenia pełności takich systemów.
Po wysłuchaniu wykładu student powinien umieć samodzielnie dowodzić pełności typowych systemów logiki nieklasycznej.
Literatura
Kazimierz Świrydowicz, Podstawy logiki modalnej, Poznań, 2004
Alexander Chagrov, Michale Zacharaschev, Modal Logic, Oxford 1997
P.Blackburn, M. de Rijke, Y. Venema, Modal Logic, Cambridge 2001
G. Restall, An Introduction to Substructural Logic, Londodn, New York 2000
R.Routley, R.K.Meyer, V.Plumwood, R.T.Brady, Relevant Logics and their rivals 1, Atascadero 1982
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: