AL（Algorithm & Logic）セミナー

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


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

* 10月18日に Workshop on Modal and Substructural Logics を開催します。
* 10月21日に第 106 回 ALセミナーを開催します。

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

日時： 　10月14日（木）(14th October) 14:30 -- 16:00

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

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

講演題目： Introduction to algebraic logic

話題提供者： Josep Maria Font (University of Barcelona, Spain)

概要： In this talk I will try to overview the main central points
of algebraic logic from a modern perspective. In the first part we
will look in some detail at the traditional method called after
Lindenbaum and Tarski, and review some examples where it can be made
to work without essential changes. The second part deals with the
generalizations of this method, either to particular, well defined
kinds of logics (equivalential logics) or to the most general kind
of logic. In this way we will meet the notions of Leibniz operator,
reduced matrix, and the Leibniz hierarchy. The third part deals with
the notion of algebraizable logic due to Blok and Pigozzi, its main
characterizations and applications. I will mention as many examples
as possible.

===========================================================

今回の世話人： 小野寛晰

===========================================================

ALセミナーは JAIST の研究プロジェクト LCCC (Logic for Cognition,
Computation and Communication) の一環として開催されています。

JAIST への交通アクセスについては以下のホームページをご覧下さい。

http://www.jaist.ac.jp/~kouhou/General_info/access/access.html

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

〒923-1292 石川県 辰口町 旭台 1-1
北陸先端科学技術大学院大学（JAIST）

下嶋 篤 (ashimoji@jaist.ac.jp)
東条 敏 (tojo@jaist.ac.jp)
小野 寛晰 (ono@jaist.ac.jp)