先端融合領域研究院は、研究推進のためのセミナーのほか、国内外の先端的な研究者による多次元セミナーと先端的レクチャー、研究・教育の相互理解を深めるための学内連携セミナーなどさまざまな会合を企画支援しています。
37th Logic Seminar
2012-06-07, 15:00-17:00
Seminar room of the RCIS, 3. floor
On first sight monadic Gödel logics with only one predicate symbol might look like quite boring. On the contrary, a bit of investigation shows that even with one predicate symbol alone one can express enough (topological) properties to distinguish countable many Gödel logics.
We present a work in progress on this topic, where our aim is to give a characterization of the classes of Gödel logics of one monadic predicate logic that can be distinguished.
ロジック・シリーズ
多次元・シリーズ
フロンティア・シリーズ
理論・シリーズ
JAIST先端レクチャー・シリーズ
