ルディクスに対する構文論的考察 (証明論と証明活動)

HANDLE Web Site オープンアクセス

書誌事項

タイトル別名
  • ルディクスに対する構文論的考察
  • ルディクス ニ タイスル コウブンロンテキ コウサツ

この論文をさがす

抄録

本稿では(Girard, 2001)が導入したルデイクスの体系に対応する統合的論理結合子を用いたシーケント計算には両立しない二つの定式化が用いられていることを明らかにし, その解決策を与える.

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ