[kisoron-ml] JAIST Logic Seminar Series

[Hajime Ishihara]

皆様

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

問合せ先：
石原　哉
北陸先端科学技術大学院大学 情報科学系
e-mail: ishihara at jaist.ac.jp
-----------------------------------------------

* 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.