2010年
Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
Journal of Logic and Computation
- 巻
- 20
- 号
- 4
- 開始ページ
- 823
- 終了ページ
- 875
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- 出版者・発行元
- Journal of Logic and Computation