論文

査読有り
2010年

Interpolation properties, Beth definability properties and amalgamation properties for substructural logics

Journal of Logic and Computation
  • KIHARA HITOSHI

20
4
開始ページ
823
終了ページ
875
記述言語
英語
掲載種別
研究論文(学術雑誌)
出版者・発行元
Journal of Logic and Computation

エクスポート
BibTeX RIS