On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics

書誌事項

タイトル
On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics
著者
T.Ueno, K.Nakatogawa, O.Watari(上野岳史、中戸川孝治、亘理修)

収録刊行物

関連プロジェクト

もっと見る

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

  • CRID
    1010000782041004059
  • 資料種別
    journal article
  • データソース種別
    • KAKEN

問題の指摘

ページトップへ