Art

J-GLOBAL ID：201002298888639596   Reference number：10A0918736

Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics

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

Author (2)： KIHARA Hitoshi (Japan Advanced Inst. Sci. and Technol., Ishikawa, JPN) ,  ONO Hiroakira (Japan Advanced Inst. Sci. and Technol., Ishikawa, JPN)
Material： Journal of Logic and Computation  (J Log Comput)
Volume： 20  Issue： 4  Page： 823-875  Publication year： Aug. 2010 
JST Material Number： W1693A  ISSN： 0955-792X  Document type： Article
Country of issue： United Kingdom (GBR)  Language： ENGLISH (EN)

Terms in the title (5)： 部分構造論理 ,  内挿法 ,  定義 ,  可能性 ,  融合