文献
J-GLOBAL ID:201002298888639596
整理番号:10A0918736
部分構造論理のための内挿法特性,Beth定義可能性及び融合特性
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
著者 (2件):
KIHARA Hitoshi
(Japan Advanced Inst. Sci. and Technol., Ishikawa, JPN)
,
ONO Hiroakira
(Japan Advanced Inst. Sci. and Technol., Ishikawa, JPN)
資料名:
Journal of Logic and Computation
(Journal of Logic and Computation)
巻:
20
号:
4
ページ:
823-875
発行年:
2010年08月
JST資料番号:
W1693A
ISSN:
0955-792X
資料種別:
逐次刊行物 (A)
発行国:
イギリス (GBR)
言語:
英語 (EN)