数理解析研究所講究録にある論文

  1. An extension to predicate logic of $\lambda\rho$-calculus
    千葉大学理学研究科　山川 郁加 / 古森 雄一　(Yamakawa,Fumika / Komori,Yuichi)
    No.1915 計算機科学における論理・代数・言語 2014/02/17〜2014/02/19 近藤 通朗 Michiro Kondo
    pdf
  2. ラムダ計算と組み合わせ論理の体系C$\lambda$$I_\lambda$
    千葉大学理学研究科　山川 郁加 / 古森 雄一　(Yamakawa,Fumika / Komori,Yuichi)
    No.1832 証明論と複雑性 2012/09/12〜2012/09/14 鈴木 登志雄 Toshio Suzuki
    pdf
  3. 汎用システムとしての「ラムダ計算+論理」
    千葉大学総合メディア基盤センター　　　古森 雄一　(Komori, Yuichi)
    No.1533 算術体系の証明論 2006/08/21〜2006/08/23 黒田 覚 Satoru Kuroda
    pdf
  4. 証明図の集合としての論理
    静岡大学理学部　　　古森 雄一　(Komori, Yuichi)
    No.927 非古典論理とそのKripke意味論に関する諸問題 1995/07/18〜1995/07/20 鈴木 信行 Nobu-Yuki Suzuki
    pdf
  5. BCK代数とBCI代数の語の問題
    静岡大学理学部　　　古森 雄一　(Komori, Yuichi) No.786 代数的コード理論および語の組合せ論 1991/10/03〜1991/10/04 伊藤 正美 Masami Ito
    pdf
  6. 直観主義論理の新しい模型
    静岡大学理学部　　　古森 雄一　(Komori, Yuichi)
    No.540 数学基礎論及びその応用 1984/07/16〜1984/07/19 角田 譲 KAKUDA,YUZURU
    pdf
  7. 順序半群によるセマンティクス
    広島大学総合科学部 / 静岡大学理学部 小野 寛晰 / 古森 雄一 (Ono, Hiroakira / Komori, Yuichi)
    No.480 数学基礎論 1982/10/27〜1982/10/30 篠田　寿一 SHINODA, JUICHI
    pdf
  8. 代数的方法による命題論理の研究
    静岡大学理学部　　　古森 雄一　(KOMORI, YUICHI)
    No.395 半群とその周辺 1980/05/15〜1980/05/17 井関 清志 ISEKI, KIYOSHI
    pdf
  9. GeneralizedスライスとFinite Model Property
    東京大学理学部　　　古森 雄一　(KOMORI, YUICHI)
    No.180 数理論理とモデル理論 1973/02/12〜1973/02/14 松本　和夫 MATSUMOTO, KAZUO
    pdf

Created: August 9, 2011
Updated: June 15, 2013
Updated: March 19, 2015

inserted by FC2 system