AL（Algorithm & Logic）セミナー

　　　　　　　　　　　　　第 114回 ALセミナーのお知らせ

JAIST ではロジックを中心に情報科学の理論的な分野 の話題をテーマに して
ALセミナーを開催しています。興味をおもちの方は どなたでもフラリと 気楽に
おたちより下さい。

今回のセミナーは JAIST 情報科学研究科 COE Project:Verifiable and Evolvable e-Society
および JAIST 研究プロジェクト LCCC (Logic for Cognition, Computation and Communication)
の一環として開催されます。

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

日時： 　2006年3月16日（木）(16th March, 2006) 15:00 -- 17:30

場所： 情報科学研究科 III 棟 5 階 コラボ６室
　　　　 School of Information Science, 3rd bldg. 5th floor, Collab. Room6

-------------------------------------------------------

講演題目 (title)： Completeness of a Hypersequent Calculus
　　　　　　　　　　　for Some First-order Gödel Logics with Delta

話題提供者 (speaker)：Norbert Preining (Universita di Siena, Italy)

All first-order Gödel logics with globalization operator Delta
based on truth value sets V c [0, 1] where 0 and 1 lie in the
perfect kernel of V are axiomatized by the hypersequent calculus
HGIF. This calculus has been introduced by Agata Ciabattoni for the
Gödel logic with Delta for the full interval [0, 1]. We give a direct proof
of the strong completeness, thus also compactness, of
this calculus with respect to all Gödel logics as above.


===========================================================
　　　　　　　　　　　　　　　　　　　　　　今回の世話人： 小野　寛晰
===========================================================


AL セミナーに関する一般的なお問い合わせは以下に どうぞ。

〒923-1292 石川県能美市 旭台 1-1　北陸先端科学技術 大学院大学（JAIST）

　　　　　　　　　　　東条 敏 (tojo)
　　　　　　　　　　　小野 寛晰 (ono)