文献
J-GLOBAL ID:201002298888639596   整理番号:10A0918736

部分構造論理のための内挿法特性,Beth定義可能性及び融合特性

Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
著者 (2件):
資料名:
巻: 20  号:ページ: 823-875  発行年: 2010年08月 
JST資料番号: W1693A  ISSN: 0955-792X  資料種別: 逐次刊行物 (A)
発行国: イギリス (GBR)  言語: 英語 (EN)
タイトルに関連する用語 (5件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る