ルディクスに対する構文論的考察

HANDLE Web Site Open Access

Bibliographic Information

Other Title
  • ルディクスに対する構文論的考察 (証明論と証明活動)
  • ルディクス ニ タイスル コウブンロンテキ コウサツ

Search this article

Abstract

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

Journal

  • RIMS Kokyuroku

    RIMS Kokyuroku 2083 38-44, 2018-08

    京都大学数理解析研究所

Details 詳細情報について

Report a problem

Back to top