约翰·伯吉斯。 一些条件逻辑的快速完备性证明。 （英语） Zbl 0416.03020号 圣母院J.形式逻辑 22, 76-84 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4个 +5 显示扫描页面 引用于1审查引用于32文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：完整性;条件句逻辑;可判定公理化 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Burgess}，圣母院J.形式逻辑22，76--84（1981；Zbl 0416.03020） 全文： 内政部