logic-ml の皆様、

北海道大学の佐野勝彦と申します。Tadeusz Litak (Friedrich-Alexander-Universität Erlangen-Nürnberg)さんをお迎えして、北海道大学で、今週金曜日(3/24)の午後一時から

Sapporo Mini-workshop on Non-classical Logic https://sites.google.com/view/sapporo-workshop-logic-2023/home

を開催いたします。タイトルやアブストラクトについてはwebsiteをご覧ください。 Tadeusz Litakさんには、

"Lewis meets Brouwer: A quick overview of constructive strict implication"

というタイトルで最近のご研究についてお話しいただきます。 興味をおもちの方はどなたでもフラリと気楽におたちより下さい。

佐野勝彦