@收款{zbMATH01231512，作者={Blute，R.F.和Scott，P.J.}，Title={一个非交换完全完备性定理。（{扩展}抽象）}，BookTitle={线性逻辑96。会议论文，庆应义塾大学，日本东京，1996年3月28日-4月2日}，页码={11}，年份={1996}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，关键词={03F05,03B20,18A23}，URL={www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#blute}，zbMATH={1231512}，Zbl={0908.03048}}