計算と論理のための自然枠組NF/CAL  [in Japanese] A Natural Framework for Computation and Logic : NF/CAL  [in Japanese]

Search this Article

Author(s)

Abstract

本論文では,計算機上での証明記述および検証を支援するシステムNF/CALを紹介する.NF/CALの設計はフレーゲによる判断の分析の影響を受けており,人間が自然言語を用いて日常的に行う判断活動を自然に形式化したものになっている.This paper gives a survey of the software system NF/CAL which supports both development and verification of formal proofs on a computer. The NF/CAL system has been designed under the influence of Frege's analysis of judgments, and as a result, it naturally formalizes our act of judgment which we perform daily using natural languages.

Journal

  • コンピュータソフトウェア

    コンピュータソフトウェア 23(3), 3-13, 2006-07-26

    日本ソフトウェア科学会

References:  17

Codes

  • NII Article ID (NAID)
    110004815101
  • NII NACSIS-CAT ID (NCID)
    AN10075819
  • Text Lang
    JPN
  • Article Type
    REV
  • ISSN
    02896540
  • NDL Article ID
    8087123
  • NDL Source Classification
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL Call No.
    Z14-1033
  • Data Source
    CJP  NDL  NII-ELS 
Page Top