主催: 日本ソフトウェア科学会
神戸大学 学術情報基盤センター
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
本論文では,古典命題線形論理の論理式を,著者らの開発した線形論理型言語上で証明探索を行うシステムについて述べる.本システムは,古典線形論理式を直観主義線形論理式に変換し,さらにLLPコンパイラを用いてLLP抽象機械命令にコンパイルしたのち実行することで高速な証明探索を実現している点に特徴がある.
すでにアカウントをお持ちの場合 サインインはこちら