yr 〜
yr

Search results 6

多様相論理の総合的研究とゲーム理論への応用

多様相論理の総合的研究とゲーム理論への応用
Paper図書
鈴木信行, 静岡大学 [著][鈴木信行]2004-2006<Y151-H16340022>
National Diet Library
  • Subject Heading非古典論理 / 様相論理 / 認識論理 / Kripke意味論 / 代...

The conservativity problem between fragments of intermediate logics and its application

The conservativity problem between fragments of intermediate logics and its application
Digital博士論文障害者向け資料あり
横溝,恭平2018-03-25
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Heading数理論理学 非古典論理 中間論理 代数的意味論 シークエント計算 Mathemat...

構成性を中間述語論理の観点から理解する

構成性を中間述語論理の観点から理解する
Digital文書・図像類
鈴木, 信行2022-06-17
Other Libraries in Japan
  • Subject Heading構成性,非古典論理 述語論理 disjunction property exi...

非古典述語論理のための代数的意味論の再構築

非古典述語論理のための代数的意味論の再構築
Digital文書・図像類
鈴木, 信行静岡大学2017-06-21
Other Libraries in Japan
  • Subject Heading非古典論理 代数的意味論 述語論理 クリプキ意味論

離散的情報数学の総合的研究

離散的情報数学の総合的研究
Paper図書
廣瀬, 健, 早稲田大学1988-1990<Y151-S63302007>
National Diet Library
  • Subject Heading算譜合成 定理証明 非古典論理 セルオートマトン グラフ算法

自然言語の形式文法と意味論の数理モデル

自然言語の形式文法と意味論の数理モデル
Digital文書・図像類
戸次, 大介, BEKKI, Daisuke国立大学法人お茶の水女子大学2012-032011-2012　研究紹介集（増補版）p.59-59
Other Libraries in Japan
  • Subject Heading教育・教育学 自然言語 普遍文法 意味論 部分構造論理 非古典論理

Reached to the end of result.