[logic-ml] JAIST Logic Seminar Series (20th Feb. 2014)

[Katsuhiko Sano]

皆様、

千葉大学の新井敏康先生の講演のお知らせです。
どうぞふるってご参加ください。

問合せ先：
佐野 勝彦
北陸先端科学技術大学院大学 情報科学研究科
e-mail: v-sano at jaist.ac.jp

--------------------------------------------------
* JAIST Logic Seminar Series *

Date: Thursday 20th February 2014, 15:00-16:30

Place: Collaboration room 7 (I-56) (Access:
http://www.jaist.ac.jp/english/location/access.html)

Speaker: Prof. Toshiyasu ARAI (Chiba University)

Title: Proof search in intuitionistic logics

Abstract: Following G. Mints, we present a complete proof search in
multi-succedent sequent calculi for intuitionistic propositional and
pure predicate logic in the spirit of Schuette's schema.