査読有り 2012年9月 Disjunction property of non-associative substructural logics Logic, Algebra and Truth Degrees 2012 Takahiro Seki 開始ページ 136 終了ページ 139 記述言語 英語 掲載種別 研究論文(国際会議プロシーディングス) エクスポート BibTeX RIS