New Seminars Coming Up!
The reading group hangouts dedicated to "An introduction to non-classical logic: From if to is" by Graham Priest are officially over. However, the following two ideas for further readings came up during our meetings:
1. Algebraic approach to non-classical logics The idea is to have an advanced seminar based on the book of the same title by Helena Rasiowa. The knowledge of basic algebra is advised, but we will not discourage participants who are new to the field either.
See the book here.
2. Goal-directed proof theory This will be an entry-level seminar for people interested in proof theory, relevance, programming, intuitionistic logic and other non-classical logics. The hangout will be roughly based on the book of the same title by Dov Gabbay et al.
See the book here.
Both seminars may feature other (shorter) texts and an occasional short talk. We will pick a date for each meeting after we have the final list of participants, so please let me know (by sending a PM or an e-mail) if you are interested in participating in any of the following online hangouts.
Each seminar is planned for ca 20 meetings which will happen in May and June, and continue from mid-September 2018.