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

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

研究者情報へ戻る