*******************************************************************************

+++ Computer Science Seminar in Kiryu +++

Programme

Thursday, July 30, 2015
15:00--16:30 in the media room (the building no. 6 of the map below),
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.

*******************************************************************************
http://www.st.gunma-u.ac.jp/other/14.html

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