コバヤシ シュンイチ   Shun-ichi.KOBAYASHI (Professor Ph.D.)
小林 俊一

  • 所属   松本大学  総合経営学部 総合経営学科
  • 職種   教授
言語種別 英語
発行・発表の年月 2001/07
形態種別 研究論文
査読 査読あり
標題 Predicate Calculus for Boolean Valued Functions, Part III
執筆形態 共著
掲載誌名 Formalized Mathematics
巻・号・頁 Vol.9(No.1),pp.51-53
著者・共著者 小林俊一, 中村八束
概要 従来の述語論理の新しい数学的モデルを提案した。具体的には、「二値関数と集合の分割に関する述語論理」について定式化を行った。すなわち、二値関数と集合の分割に関する述語論理について成り立つ様々な定理について、厳格な証明を行った。論文3で定義した、二値関数と集合の分割に関する限量演算子AllとExistについて成り立つ様々な定理について証明を行った。述語論理の定理は非常に沢山あるため、論文6に続いて、述語論理として成り立つ様々な定理を証明したものである。
(51-52頁)

研究者情報へ戻る