「日本・チェコ合同ファジイ論理ワークショップ」

logic 研究集会

JSPS日本・チェコ二国間学術交流事業に基づき、部分構造論理とファジイ論理についての合同ワークショップを、下記の要領で開催いたします。

  • 日時：11月22日（日）〜23日（月）
  • 場所：白山セミナーハウス「望岳苑」（石川県白山市）

Czech-Japan joint fuzzy logic workshop 2009

22日（日）

  • 14:00-15:00 木原均（金沢高専）: Algebraic Characterizations of Interpolation Properties (スライド)
  • 15:00-16:00 Rostilav Horcik（チェコ科学アカデミー）: Disjunction Property and Complexity of Substructural Logics (スライド)
  • 16:00-17:00 Leonardo M. Cabrer （Universidad Nacional del Centro） Completions of BL-algebras (スライド).

23日（月）

  • 9:00-10:00 相馬大輔（産業技術総合研究所）: TBA
  • 10:00-11:00 Norbert Preining (JAIST/Vienna University of Technology): SAT in Monadic Godel Logics
  • 11:00-12:00 Petr Cintula（チェコ科学アカデミー）: Weakly implicative (semilinear) logics (スライド)
  • 14:00-15:00 Libor Behounek（チェコ科学アカデミー）: Strong quantifiers and exponentials in deductive fuzzy logics (スライド)
  • 15:00-16:00 Zuzana Hanikova（チェコ科学アカデミー）: Set theory in fuzzy logic: some technical considerations
  • 16:00-17:00 丸山善宏（京都大学）: Fuzzy Topology and Lukasiewicz Logics from the Viewpoint of Duality Theory

講演の要旨はこちらにあります。併せてご覧ください。