久馬栄道(愛知学院大学教養部)、 フーリエ変換を用いたSATの解法、 要旨
鴨浩靖(奈良女子大学理学部情報科学科)、 擬コンパクト空間におけるDiniの定理の計算可能性版について、 要旨
小林 聡 (京都産業大学理学部コンピュータ科学科)、 情報と依存関係の論理、 要旨
桜井貴文(千葉大)、 Strong Normalizability of Calculus of Explicit Substitutions、 要旨
中野 浩(龍谷大学 理工学部)、 近似様相と不動点演算子、 要旨
佐々木克巳(南山大学数理情報学部)、 様相論理S4における1変数の論理式について、 要旨
竹内泉(東邦大学理学部)、 証人の論理―伝聞を表す様相述語論理、 要旨
関隆宏(九州大学 大学評価情報室)、 General frames for relevant modal logics、 要旨
石垣 良(東京工業大学 情報理工学研究科)、 Gentzen Style Sequent Calculi for Logics with Strict Implication and Weak Logics、 要旨
山下秀康(愛知学院大学教養部)、 量子論理と束論
岡本圭史(産業技術総合研究所)、 高階論理の完全性とその周辺について、 要旨
只木孝太郎 (中央大学21世紀COEプログラム)、 An extension of Chaitin's halting probability \Omega to measurement operator in infinite dimensional quantum system、 要旨