[logic-ml] Sapporo Mini-workshop on Non-classical Logic (24th March 2023 13:00~)

[Katsuhiko Sano]

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"

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

佐野勝彦