丹尼尔·蒙迪奇 句子逻辑中克雷格插值复杂性的下限。 （英语） 兹伯利0511.03004 拱门。数学。Logik Grundlagenforsch公司。 23, 27-36 (1983). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于6文件 MSC公司： 03B05号 经典命题逻辑 2015年3月1日 计算复杂性（包括隐式计算复杂性） 关键词：布尔函数的复杂性;复杂性下限;克雷格插值;计算理论 PDF格式BibTeX公司 XML格式引用 \textit{D.Mundici}，拱门。数学。Logik Grundlagenforsch公司。23、27-36（1983年；Zbl 0511.03004） 全文： 内政部 欧洲DML 参考文献： [1] Cook，S.A.，Rechkow，R.A.：命题证明系统的相对效率。J.塞姆。《逻辑学》44，36-50（1979）·Zbl 0408.03044号 ·doi:10.2307/2273702 [2] Friedman，H.：明确定义的复杂性。《高等数学》第20卷，第18–29页（1976年）·Zbl 0355.02010 ·doi:10.1016/0001-8708（76）90167-5 [3] Mundici，D.：软模型理论中的Robinson一致性定理。事务处理。美国数学。Soc.263231-241（1981）·Zbl 0519.03031号 [4] Mundici，D.：紧凑性=任何逻辑中的JEP。基金。数学116（即将出现）（1982年）·Zbl 0564.03034号 [5] Mundici，D.：克雷格插值的复杂性。安.社会.数学。政策。，系列IV：基础信息学V.3/2，261–278（1982）·Zbl 0507.03025号 [6] Mundici，D.：逻辑算法程序的自然局限性。国家科学院的伦迪康蒂。Lincei（罗马），第八辑，卷LXIX 3/4，101-105（1980）·Zbl 0518.03005号 [7] Mundici，D.：不可逆性、不确定性、相对性和计算机局限性。Il Nuovo Cimento，《欧洲物理杂志》61B，第2期，297–305页（1981年）。 ·doi:10.1007/BF02721331 [8] Mundici，D.：逻辑和等价关系之间的二重性。事务处理。美国数学。Soc.27011-129（1982）·兹伯利0497.03018 ·doi:10.1090/S0002-9947-1982-0642332-1 [9] Mundici，D.：量词：概述。收录：Barwise，J.，Feferman，S.（编辑）：抽象模型理论和强逻辑。欧米茄系列。柏林，海德堡，纽约：施普林格（即将出版）1983年。 [10] Mundici，D.：计算理论中的克雷格插值定理。国家科学院的伦迪康蒂。Lincei（罗马），第八辑，卷LXX.1，6–11（1981）·Zbl 0523.03027号 [11] Mundici，D.：NP和Craig的插值定理。摘自：82年佛罗伦萨ASL逻辑学术讨论会会议记录。阿姆斯特丹：北荷兰（即将出版）1983年。 [12] Mundici，D.：紧凑性、插值和弗里德曼的第三个问题。安。数学。《逻辑学》22，197-211（1982）·Zbl 0495.03020号 ·doi:10.1016/0003-4843（82）90021-3 [13] Mundici，D.：软模型理论中的插值、紧性和JEP。拱门。数学。Logik22，61-67（1982）·Zbl 0495.03019号 ·doi:10.1007/BF02318027 [14] Savage，J.E.：计算的复杂性。纽约：Wiley 1976·Zbl 0391.68025号 [15] Schnorr，C.P.：有限函数的网络复杂性和图灵机复杂性。《信息学报》7，95–107（1976）·Zbl 0338.02019 ·doi:10.1007/BF00265223 [16] Smullyan，R.M.：一阶逻辑。柏林，海德堡，纽约：施普林格1971·Zbl 0172.28901号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。