コンドウ ミチロウ
KONDO Michiro
近藤 通朗
所属
東京電機大学 システムデザイン工学部 数学系列(システムデザイン工学部)
職種
特定教授
言語種別
英語
発行・発表の年月
2010/10
形態種別
学術研究論文
査読
査読あり
標題
Intuitionistic propositional logic with Galois connections
執筆形態
共著
巻・号・頁
vol.18,837-858
著者・共著者
Wojciech Dzik, Jouni Jarvinen
概要
Logic Journal of the IGPL
DOI
10.1093/jigpal/jzp057