公理系を演繹的に拡大するメカニズムの定式化に： 閉包システム〈closure system〉 単純伴意システム〈simple entailment sysmte〉 バンチ伴意システム〈bunched entailment sysmte〉 双対バンチ伴意システム〈dual bunched entailment sysmte〉 伴意関係を …