文献

J-GLOBAL ID：200902119648501098   整理番号：95A0825401

線形および非線型混合論理 その証明論,項およびモデルについて

A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models.

著者 (1件)： BENTON P N (Univ. Cambridge)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 933  ページ： 121-135  発行年： 1995年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 短報  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 直観線形論理ILLは!記号,すなわち「もちろん」様相を付加す...

シソーラス用語： カテゴリー理論 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=95A0825401&from=J-GLOBAL&jstjournalNo=H0078D") }}

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 線形 ,  非線型 ,  論理 ,  証明論 ,  モデル