文章基本信息

标题：計算と論理のための自然枠組NF/CAL
本地全文：下载
作者：佐藤雅彦
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2006
卷号：23
期号：3
页码：3_3-3_13
DOI：10.11309/jssst.23.3_3
出版社：Japan Society for Software Science and Technology
摘要：
本論文では，計算機上での証明記述および検証を支援するシステムNF/CALを紹介する．NF/CALの設計はフレーゲによる判断の分析の影響を受けており，人間が自然言語を用いて日常的に行う判断活動を自然に形式化したものになっている．