logichangouts - Tumblr blog

logichangouts · 6 years

Text

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.

#logic #algebra #Helena Rasiowa #Dov Gabbay #proof theory #non-classical logics #intuitionistic logic #hangout #Logic Hangout #free #online #seminar #2018 #mathematics #mathematical logic #algebraic logic #algebraic methods

0 notes

logichangouts · 6 years

Text

Our Meeting Place

Here is a link to out meeting place: https://appear.in/logic-hangouts Remember to check whether appear.in works well with your browser and make sure to be in our room at 3 p.m. today. You enter by allowing mic and camera access and knocking. See you there!

In case something goes wrong, write a message to our inbox on facebook: @LogicHangouts

#Logic Hangout #logic #education

0 notes