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

皆様、

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

問合せ先： 佐野 勝彦 北陸先端科学技術大学院大学 情報科学研究科 e-mail: v-sano@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.