@techreport{weko_30686_1, author = "友納,正裕", title = "確率論理の意味論と演鐸推論", year = "1992", institution = "日本電気(株)C&C情報研究所", number = "3(1991-PRO-063)", month = "jan" }