皆様

ウィーン工科大学のMatthias Baaz先生の講演のお知らせです。 どうぞふるってご参加ください。

問合せ先： 石原　哉 北陸先端科学技術大学院大学 情報科学系 e-mail: [email protected] -----------------------------------------------

* JAIST Logic Seminar Series *

Date: Tuesday 6 December, 2016, 15:20-17:00

Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html)

Speaker: Matthias Baaz (Vienna University of Technology) (joint work with Juan.P.Aguilera)

Title: Unsound inferences make proofs shorter

Abstract: We give examples of calculi that extend Gentzen's sequent calculus LK in such a way that (i) derivations lead only to true sequents (ii) cut free proofs may be non-elementary shorter than cut free LK proofs.