摘要
H.P.巴伦德雷格特。 兰姆达演算，它的语法和语义。 北荷兰，1984年。 谷歌学者 
M.Bidoit、R.Hennicker和A.Kurz。 观察逻辑、基于构造的逻辑及其二重性。 西奥。 计算。 科学。， 298:471--510, 2003. 谷歌学者 数字图书馆 
S.R.Buss和G.Rosu。 行为逻辑的不完整性。 ENTCS，33:61--792000年。 谷歌学者 J.Castro和F.Cucker。 不确定性ω-计算和分析层次。 Logik u.Grundlagen d.Math，35:333-3421989年。 谷歌学者 T.可口可乐。 类型理论中的无限对象。 在Postproc中。 LNCS第806卷《证明和程序类型汇编》（Types 1993），第62-78页。 施普林格，1993年。 谷歌学者 数字图书馆 M.Dezani-Ciancaglini和E.Giovannetti。 从伯姆定理到观测等价：一个非正式的解释。 2001年，ENTCS第50卷，BOTH’01。 谷歌学者 M.Dezani-Ciancaglini、P.Severi和F.-J.de Vries。 Berarducci树的Böhm定理。 在CATS 2000计算：澳大拉西亚理论研讨会，ENTCS第31卷，2000年。 谷歌学者 J.Endrullis、H.Geuvers、J.G.Simonsen和H.Zantema。 重写中的不确定性级别。 信息与计算，209（2）：227--2452011。 谷歌学者 数字图书馆 J.Endrulis、C.Grabmayer和D.Hendriks。 数据流生产力。 程序中。 编程人工智能和推理逻辑会议（LPAR 2008），LNCS第5330号，第79-96页。 施普林格，2008年。 谷歌学者 数字图书馆 J.Endrulis、C.Grabmayer和D.Hendriks。 分形的复杂性和生产力。 程序中。 自动扣减会议（CADE 22），LNCS第5663卷，第371-387页，2009年。 谷歌学者 数字图书馆 D.P.Friedman和D.S.Wise。 CONS不应评估其论点。 在ICALP中，第257-284页，1976年。 谷歌学者 H.盖弗斯。 带迭代和递归的归纳和共归纳类型。 程序中。 证明和程序类型研讨会（Types 1992），第193-217页，1992年。 谷歌学者 C.Grabmayer、J.Endrulis、D.Hendriks、J.W.Klop和L.S.Moss。 自动序列和邮政编码规范。 程序中。 交响乐团。 《计算机科学中的逻辑》（LICS 2012）。 IEEE计算机学会，2012年。 出现。 谷歌学者 数字图书馆 P.Henderson和J.H.Morris，Jr.懒惰的评估者。 程序中。 ACM SIGACT-SIGPLAN交响乐团。 关于编程语言原则（POPL），第95-103页。 美国医学会，1976年。 谷歌学者 数字图书馆 G.马尔科姆。 隐代数和抽象机器系统。 程序中。 交响乐团。 《软件架构（Architecture）新模型》（IMSA），1997年。 谷歌学者 G.罗什u。 隐藏逻辑。 加州大学博士论文，2000年。 谷歌学者 G.罗什u。 流的相等是∏ 0 2 -完成问题。 程序中。 ACM SIGPLAN函数编程会议（ICFP），第184-191页。 ACM，2006年。 谷歌学者 数字图书馆 H.Rogers，Jr.递归函数和有效可计算性理论。 McGraw-Hill，纽约，1967年。 谷歌学者 数字图书馆 J.J.M.M.Rutten。 行为微分方程：流、自动机和幂级数的共导微积分。 西奥。 计算。 科学。， 308(1-3):1--53, 2003. 谷歌学者 数字图书馆 J.J.M.M.Rutten。 共导流微积分和信号流图教程。 西奥。 计算。 科学。， 343:443--481, 2005. 谷歌学者 数字图书馆 D.Sangiorgi和J.J.M.M.Rutten。 相互模拟和模拟高级主题。 剑桥大学出版社，2012年。 谷歌学者 数字图书馆 J.R.肖恩菲尔德。 不溶性程度。 北荷兰，1971年。 谷歌学者 B.A.Sijtsma博士。 递归列表定义的生产力。 《美国计算机学会程序设计语言与系统汇刊》，11（4）：633--6491989年。 谷歌学者 数字图书馆 特雷斯。 术语重写系统。 剑桥大学出版社，2003年。 谷歌学者 M.Walicki和S.Meldal。 不确定性与规格不足。 程序中。 《世界系统学、控制论和信息学多会议》，ISAS-SCI 2001，第551-555页。 IIIS，2001年。 谷歌学者 数字图书馆
建议
通过移位操作将析取语义减少为非析取语义 众所周知，Minker对正析取程序P的语义GCWA，即决定一个文字在P的所有极小模型中是否为真是∏ P（P） 2 -完成。 这与非析取语义的相同蕴涵问题相反。。。 无限值语义下逻辑程序的强等价性 我们考虑了无穷值下正规命题逻辑程序的强等价概念[V.Lifschitz，D.Pearce，A.Valverde，强等价逻辑程序，ACM Transactions on Computational logic 2（4）（2001）526-541]。。。
