Portal de Periódicos da CAPES

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

2009; Oxford University Press; Volume: 20; Issue: 4 Linguagem: Inglês

10.1093/logcom/exn084

1465-363X

Hitoshi Kihara, Hiroshi Ono,

semigroups and automata theory

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: h-kihara@jaist.ac.jp; ono@jaist.ac.jp 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: h-kihara@jaist.ac.jp; ono@jaist.ac.jp 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