Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
Hitoshi Kihara, Hiroshi Ono · Journal of Logic and Computation · 2009
Journal Article Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics Get access Hitoshi Kihara, Hitoshi Kihara School of Information Science, Japan Advanced Institute of Science and Technology, Asahidai, Nomi, Ishikawa, 923-1292, Japan.E-mail: [email protected]; [email protected] Search for other works by this author on: Oxford Academic Google Scholar Hiroakira Ono Hiroakira Ono School of Information Science, Japan Advanced Institute of Science and Technology, Asahidai, Nomi, Ishikawa, 923-1292, Japan.E-mail: [email protected]; [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 20, Issue 4, August 2010, Pages 823–875, https://doi.org/10.1093/logcom/exn084 Published: 08 January 2009 Article history Received: 20 January 2008 Published: 08 January 2009