@techreport{oai:tdu.repo.nii.ac.jp:00000144, author = {近藤, 通朗}, month = {Sep}, note = {東京電機大学, Q18K-01}, title = {非可換様相部分構造論理の研究}, year = {2020} }