[logic-ml] CSセミナーin桐生

[Fujita Kenetsu]

(* Apologies for any cross-postings. *)

皆様，

暑中お見舞い申し上げます．
コンピュータ・サイエンスのセミナーのご案内です．

　http://www.cs.gunma-u.ac.jp/~fujita/research/20150730Seminar.html

どうぞお気軽にお越し下さい．

問い合わせ先：
群馬大学　藤田 憲悦
fujita at cs.gunma-u.ac.jp

******************************
+++Computer Science Seminar in Kiryu+++

Programme

Thursday, July 30, 2015

15:00--16:30 in the media room
Kiryu Campus, Gunma University

"Gödel logics, Hyper Sequent Calculus, and Hyper Natural Deduction"

Prof. Preining Norbert (JAIST)

Abstract:
In this talk we introduce Gödel logics, one of the few many-valued logics with well-behaved (e.g., axiomatizable)
first order logic, the Hyper Sequent Calculus which provides an analytic sequent calculus admitting cut-elimination,
and Hyper Natural Deduction, an extension of Gentzen's Natural Deduction for Intuitionistic Logic. We show that
Hyper Natural Deduction is sound and complete for Gödel Logic, and discuss normalization for the new system.
******************************

Access to Kiryu campus, Gunma University:
   http://www.st.gunma-u.ac.jp/other/14.html

Map of Kiryu campus:
   http://www.st.gunma-u.ac.jp/other/13.html

For more information, please contact at the following \beta-normal form:
     (\lambda A.fujitA at cs.gunmA-u.Ac.jp)a

(Ken-etsu Fujita, Gunma University).
----------------------------------------------------------------------------