杰弗里·塞里·麦克科尔德 道义逻辑和道德理论的优先性。 （英语） Zbl 1366.03127号 诺尔斯 20，第2期，179-197（1986）.MSC公司：03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sayre-McCord}，Nóus 20，No.2，179--197（1986；Zbl 1366.03127） 全文： 内政部
安德森·C·安东尼 关于拉塞尔内涵逻辑的一些困难。 （英语） Zbl 1366.03014号 诺尔斯 20，第1期，35-43（1986）.MSC公司：03A05号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Anderson}，Nóus 20，No.1，35-43（1986；Zbl 1366.03014） 全文： 内政部
科特·科诺里奇 信念的演绎模型。 （英语） Zbl 0683.68080号 人工智能研究笔记。伦敦：皮特曼出版社；加利福尼亚州洛斯阿尔托斯：Morgan Kaufmann Publ。，公司165 p.£17.95（1986）。 审核人：T.塔米特 MSC公司：68吨15 03B60号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Konolige}，信念的演绎模型。伦敦：皮特曼出版社；加利福尼亚州洛斯阿尔托斯：Morgan Kaufmann Publ。，股份有限公司（1986年；Zbl 0683.68080）
科托夫，V.E。;洛杉矶切尔卡索娃。 在描述过程及其属性时使用逻辑方法。 （俄语） Zbl 0685.03020号 信息处理系统的理论问题，收集。科学。作品，5-17（1986）。MSC公司：03B70号 68N25号 68问题85 PDF格式BibTeX公司 XML格式
戴格泰夫，A.N。 命题逻辑理论的复杂性。 （俄语） Zbl 0681.03025号 微分方程和离散数学的一些问题，Interuniv。收集。科学。作品，3-11（1986）。 审核人：G.B.马兰德日 MSC公司：03D45号 03日30分 03B25号 PDF格式BibTeX公司 XML格式
布鲁诺·波扎特 阿勒·劳斯·埃登。（伊甸园以西）。 （法语） Zbl 0675.03006号 J.塞姆。日志。 51, 795-816 (1986).MSC公司：03B60号 03C99号 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{B.Poizat}，J.Symb。日志。51995年-816年（1986年；兹bl 0675.003006） 全文： 内政部
Z.A.杜拉托娃。 具有可分辨子代数和自同构的布尔代数。 （俄语） Zbl 0674.03011号 微分方程和离散数学的一些问题，Interuniv。收集。科学。作品，130-147（1986）。 审核人：O.V.贝尔格莱德克 MSC公司：03C57号 99年6月 03天35分 03D45号 03B25号 PDF格式BibTeX公司 XML格式
贝尔，J.L。;M.Machover。 数理逻辑课程。第一次重印。 （英语） Zbl 0669.03001号 阿姆斯特丹等：North-Holland（Elsevier Science Publishing Co.）。二十、 600 p.；美元58.50; 英国国防部。120.00 (1986).MSC公司：03-01 03-02 03B10号机组 03C07号机组 03D20日 03D25号 03E30年 03年3月35日 03C35号 30楼03号 PDF格式BibTeX公司 XML格式
巴萨拉布，öerban A。 有序字段上的定义函数。二： 伪实闭域的绝对Galois群。 （英语） Zbl 0668.12008号 鲁姆牧师。数学。Pures应用程序。 31, 283-291 (1986). 审核人：亚历山大·普雷斯特尔（康斯坦兹） MSC公司：12月15日 第12天15 14G05年 03B30型 03C60型 14页 12英尺10英寸 PDF格式BibTeX公司 XML格式引用 \textit{ö.A.Basarab}，Rev.Roum。数学。Pures应用程序。31283--291（1986；Zbl 0668.12008）
吴茂康 定理证明中单位与输入反驳的等价问题。 （中文。英文摘要） Zbl 0666.03012号 上海理工大学学报。Technol公司。 1986年，第3期，65-70（1986）.MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Wu}，上海理工大学J。Technol公司。1986年，第3期，65-70（1986；Zbl 0666.03012）
Jean-Pierre Jouannaud;赫莱内·基什内尔 完成一组以方程组为模的规则。 （英语） Zbl 0665.03005号 SIAM J.计算。 15, 1155-1194 (1986). 审核人：A.佩特罗西 MSC公司：03B25号 08B05号 68问题65 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{H.Kirchner}，SIAM J.Compute。1155-1194年（1986年；兹bl 0665.03005） 全文： 内政部
A.I.马尔塞夫。 扎哈罗夫，D.A。（编辑） 算法和递归函数。第二版（编辑，序言和附录由D.a.Zakharov编写）。(Альгоритмы и рекурсивные функции.) （俄语） Zbl 0664.03030号 莫斯科：瑙卡。《p.R.1.70》第368页（1986年）。MSC公司：03年月日 03D20日 03-01 03-02 03D45号 03D25号 03天35分 03日第10天 03D40号 03年3月 03B25号 68瓦99 2005年11月 11D99号 PDF格式BibTeX公司 XML格式
牛顿·C·A·达·科斯塔。;迭戈·马可尼 关于仿完备逻辑的一点注记。 （英语） Zbl 0663.03012号 阿提·阿卡德。纳粹。林西，VIII。序列号。，渲染。，Cl.科学。财政部。材料自然。 80，编号7-12，504-509（1986）.MSC公司：03B60号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{D.Marconi}，Atti Accad。纳粹。林西，VIII。序列号。，渲染。，Cl.科学。财政部。Mat.Nat.80，No.7--12，504--509（1986；Zbl 0663.03012）
埃尼奥·德·乔治;马尔科·福蒂;托托雷利，文森佐M。 关于自我参照的问题。 （意大利语。英文摘要） Zbl 0659.03035号 阿提·阿卡德。纳粹。林西，VIII。序列号。，渲染。，Cl.科学。财政部。材料自然。 80，第6期，363-372（1986）.MSC公司：35层03 03E30年 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.De Giorgi}等人，Atti Accad。纳粹。林西，VIII。序列号。，渲染。，Cl.科学。财政部。Mat.Nat.80，No.6，363--372（1986；Zbl 0659.03035）
A.V.曼奇沃达。;马尔蒂亚诺夫，V.I。 关于公式的不变变换。 （俄语） Zbl 0659.03002号 维奇尔。修女。 116, 156-161 (1986). 审核人：O.Štěpánková MSC公司：03B10号机组 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Mantsivoda}和\textit{V.I.Mart'yanov}，Vychils。修女。116156-161（1986年；Zbl 0659.03002）
热尔马诺Resconi;莫里斯·杰塞尔 一般系统逻辑理论。 （英语） Zbl 0658.93006号 国际通用系统杂志。 12，第2期，159-182（1986）.MSC公司：93A10号 03B99号 1999年8月17日 35升05 53C20美元 92埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{G.Resconi}和textit{M.Jessel}，《国际遗传学系统》。12，第2号，159--182（1986；Zbl 0658.93006） 全文： 内政部
盖伊，表哥;皮埃尔·卢伊斯·居里;米歇尔·莫尼;阿斯坎德·苏亚雷斯 功能语言组合器。（分类组合词和函数语言的实现）。 （法语） Zbl 0657.68008号 组合器和函数编程语言。13号春季附表。LITP，Val d'Ajol/法国1985，Lect。注释计算。科学。242, 85-103 (1986). 审核人：V.Kurkova-Pohlova（沃尔科瓦·波洛娃） MSC公司：68号01 03B40型 18日第15天 PDF格式BibTeX公司 XML格式
马修·金斯伯格。 反事实。 （英语） Zbl 0655.03011号 Artif公司。智力。 30, 35-79 (1986). 审核人：M.Suchenek先生 MSC公司：03B60号 68T99型 68吨15 68分20秒 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.L.金斯伯格}，阿蒂夫。智力。30，35-79（1986年；兹bl 0655.03011） 全文： 内政部
努德尔曼，A.S。 关于归纳法优于标准实证理论的一个性质。 （俄语） Zbl 0655.0302号 维奇尔。修女。 118, 81-99 (1986). 审核人：P.马特拉纳 MSC公司：03A05号 03B45号 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Nudel'man}，维奇尔。修女。118、81-99（1986年；Zbl 0655.0302）
Dimit“r T.彭科夫。 克里普克语义学和等式推理演算理论。 （保加利亚语） Zbl 0654.03011号 数学与数学教育，Proc。第15届春季大会，阳光海滩/保加利亚。1986, 284-286 (1986).MSC公司：03B45号 PDF格式BibTeX公司 XML格式
席尔瓦诺·迪泽佐 一种新的多值逻辑及其在近似推理中的应用。 （英语） Zbl 0653.68101号 信息处理，程序。IFIP第十届世界计算。国会议员。，都柏林/爱尔兰。1986年，IFIP大会。序列号。10，421-427（1986年）。MSC公司：68吨15 03B50号 03B52号 PDF格式BibTeX公司 XML格式
维罗尼克·罗耶 标准指称语义的同余表示。 （英语） Zbl 0653.68003号 信息处理，程序。IFIP第十届世界计算。国会议员。，都柏林/爱尔兰。1986年，IFIP大会。序列号。10, 655-660 (1986).MSC公司：60年第68季度 68问题55 03B40型 PDF格式BibTeX公司 XML格式
Barth，E.M。;威切，R.T.P。 问题、功能和语义角色。实用主义者对蒙塔古句子意义理论的分析。 （英语） Zbl 0652.03004号 沟通基础。图书馆版。柏林-纽约：Walter de Gruyter。十八、 198页。；88马克（1986年）。MSC公司：03A05号 03B65号 03-01 03-02 PDF格式BibTeX公司 XML格式
伯格，埃贡 迪特尔·罗丁（编辑） Berechenbarkeit、Komplexität、Logik。Eine Einführung在Algorithmen，Sprachen und Kalküle unter besonder Berücksichtigung ihrer Komplexität。小时。冯·迪特尔·罗丁。2.，错误。澳大利亚。 （德语） Zbl 0649.03028号 布伦瑞克-威斯巴登：弗里德。维埃格·桑恩（Vieweg&Sohn）。十七、 469 S。；64.00马克（1986年）。MSC公司：03年月日 03-01 03-02 2015年3月1日 03B10号机组 68瓦99 05年3月 05年3月 03D55号 03D20日 03日30分 03天35分 65年第68季度 PDF格式BibTeX公司 XML格式
Zh卡西莫娃。美国。 特殊量词计算的完备性和可判定性。 （俄语） Zbl 0649.03026号 维奇尔。修女。 117, 36-62 (1986). 审核人：S.R.科加洛夫斯基 MSC公司：03C80号 03C35号 03B25号 PDF格式BibTeX公司 XML格式引用 \文本｛Zh.S.Kasymova｝，维奇斯。修女。117、36-62（1986年；Zbl 0649.03026）
D.I.斯维里登科。 设计\（\Sigma\）-程序\（Sigma）-可估计性。 （俄语） Zbl 0649.03016号 维奇尔。修女。 114, 59-83 (1986).MSC公司：03B70号 68问题65 68号01 03天80 PDF格式BibTeX公司 XML格式引用 \textit{D.I.Sviridenko}，维基斯尔。修女。114、59-83（1986年；Zbl 0649.03016）
Goncharov，S.S。 关于强同态类的公理。 （俄语） Zbl 0649.03015号 维奇尔。修女。 116, 140-155 (1986). 审核人：S.S.冈查洛夫 MSC公司：03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}，维奇尔。修女。116、140--155（1986年；Zbl 0649.03015）
贡查罗夫，S.S。 列表理论及其模型。 （俄语） Zbl 0649.03014号 维奇尔。修女。 114, 84-95 (1986). 审核人：S.S.冈查洛夫 MSC公司：03B70号 68第05页 03B25号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}，维奇尔。修女。114、84-95（1986年；Zbl 0649.03014）
D.I.斯维里登科。 关于列表超结构理论的一种变体。 （俄语） 兹伯利0648.03019 维奇尔。修女。 116, 67-79 (1986). 审核人：G.E.造币厂（列宁格勒） MSC公司：03B70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.I.Sviridenko}，维基斯尔。修女。116、67--79（1986年；Zbl 0648.03019）
可口、蒂埃里 《论语言的中心命题和类型》（Sur l'analogie entre les propositions et les types）。 （法语） Zbl 0648.03006号 组合器和函数编程语言。13号春季附表。LITP，Val d'Ajol/法国1985，Lect。注释计算。科学。242，71-84（1986）中描述。MSC公司：03B40型 60年第68季度 35楼03号 PDF格式BibTeX公司 XML格式
Goncharov，S.S。 列表理论及其模型。 （俄语） Zbl 0646.68035号 维奇尔。修女。 114, 84-95 (1986). 审核人：A.克雷茨马尔 MSC公司：68问题65 60年第68季度 03B10号机组 03C35号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}，维奇尔。修女。114、84-95（1986年；Zbl 0646.68035）
马西耶·威格拉拉克 关于双重模糊集的基数定义。 （英语） Zbl 0645.03052号 BUSEFAL公司 28, 24-27 (1986).MSC公司：03E72型 03B50号 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Wygralak}，BUSEFAL 28，24--27（1986；Zbl 0645.03052）
贡查罗夫，S.S。 关于GES公理的评论。 （俄语） Zbl 0645.03025号 维奇尔。修女。 114, 11-15 (1986).MSC公司：03B70号 68问题65 68号01 03D60年 03天80 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}，维奇尔。修女。114、11--15（1986年；Zbl 0645.03025）
艾瑞克·梅斯 一种时序逻辑，用于在自然语言问答环境中推理数据库的变化。 （英语） Zbl 0644.68117号 专家数据库系统，Proc。第一届国际研讨会，Kiawah Island/S.C.1984，559-578（1986）。 审核人：贝内舍夫斯克 MSC公司：68第20页 68分20秒 03B45号 PDF格式BibTeX公司 XML格式
米歇尔·德·格拉斯 Łukasiewicz多值代数的表示。 （英语） Zbl 0644.03037号 数学杂志。分析。申请。 114, 315-327 (1986). 审核人：A.胡格威 MSC公司：03G20年 03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.de Glas}，J.数学。分析。申请。114、315--327（1986；Zbl 0644.03037） 全文： 内政部
施密特，P.H。 三值逻辑的计算方面。 （英语） Zbl 0644.03015号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 190-198 (1986).MSC公司：03B50号 03B65号 03B35型 68吨15 PDF格式BibTeX公司 XML格式
吴文忠 关于几何中机械定理证明和机械定理发现的报告。 （英语） Zbl 0644.03007号 高级科学。中国，数学。1, 175-198 (1986).MSC公司：03B35型 03-02 51-02 PDF格式BibTeX公司 XML格式
罗纳德·雅格。 Dempster-Shafer颗粒的内含原理。 （英语） 兹伯利0643.94054 《国际情报杂志》。系统。 1, 247-262 (1986).MSC公司：94D05型 68T99型 03B52号 PDF格式BibTeX公司 XML格式引用 \文本｛R.R.Yager｝，Int.J.Intell。系统。1247--262（1986；Zbl 0643.94054） 全文： 内政部
弗兰克·M·布朗。 非单调推理的常识理论。 （英语） Zbl 0643.68149号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。第230209-228页（1986年）。MSC公司：68吨15 03B45号 68分20秒 PDF格式BibTeX公司 XML格式
Jieh乡;迈克尔·鲁西诺维奇 在定理证明中建立反驳完备性的一种新方法。 （英语） Zbl 0643.68142号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 141-152 (1986).MSC公司：68吨15 03B35型 68问题55 PDF格式BibTeX公司 XML格式
克里斯托夫·沃尔特 多种类型统一问题的分类。 （英语） Zbl 0643.68139号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 525-537 (1986).MSC公司：68吨15 03B10号机组 03B35型 08B05号 PDF格式BibTeX公司 XML格式
曼弗雷德·施密特·肖斯 多种等式理论的统一。 （英语） Zbl 0643.68138号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。第230538-552页（1986年）。MSC公司：68吨15 03B10号机组 03B35型 08B05号 PDF格式BibTeX公司 XML格式
亚历山大·赫罗德 统一算法的组合。 （英语） Zbl 0643.68137号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 450-469 (1986).MSC公司：68吨15 03B35型 68号01 PDF格式BibTeX公司 XML格式
贾勒·姆扎利 与分配性匹配。 （英语） Zbl 0643.68133号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 496-505 (1986).MSC公司：68吨15 08B05号 03B35型 PDF格式BibTeX公司 XML格式
Jerzy Tiuryn 编程中的高阶数组和堆栈。复杂性理论在程序逻辑中的应用。 （英语） Zbl 0643.68012号 计算机科学的数学基础，Proc。第十二交响曲。，布拉迪斯拉发/捷克。1986年，Lect。注释计算。科学。233, 177-198 (1986).MSC公司：68第05页 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式
F.K.汉纳。;北卡罗来纳州Daeche。 逻辑的纯功能实现。 （英语） Zbl 0643.68008号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 598-607 (1986).MSC公司：68号01 68吨15 03B40型 PDF格式BibTeX公司 XML格式
居里，P.-L。 分类组合子、序列算法和函数编程。 （英语） Zbl 0643.68004号 理论计算机科学研究笔记。马萨诸塞州伦敦博斯顿：皮特曼出版有限公司。；纽约等：John Wiley&Sons，Inc.XVI，300 p.；$24.95 (1986).MSC公司：68-02 03B40型 60年第68季度 03B70号 68问题55 PDF格式BibTeX公司 XML格式
迪德里克·巴滕斯 形式逻辑中的辩证动力学。 （英语） Zbl 0643.03006号 逻辑分析。，努夫。Sér。 29, 161-173 (1986). 审核人：J.B.培根 MSC公司：03A05号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{D.Batens}，日志。分析。，努夫。Sér。29161-173（1986年；兹bl 0643.03006）
阿兰·邦迪 利用关联演算进行不确定推理的一些算法的正确性准则。 （英语） Zbl 0642.68178号 J.汽车。推理 2, 109-126 (1986).MSC公司：68T99型 68分20秒 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{A.邦迪}，J.Autom。推理2109--126（1986；Zbl 0642.68178） 全文： 内政部
Hähnle，R。;海塞尔，M。;莱夫·W·。;斯蒂芬·W·。 基于动态逻辑的交互式验证系统。 （英语） Zbl 0642.68168号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 306-315 (1986).MSC公司：68吨15 03B70号 03B10号机组 PDF格式BibTeX公司 XML格式
Oppacher，F。;苏恩，E。 用证明凝聚和启发式控制演绎。 （英语） Zbl 0642.68165号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 384-393 (1986).MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式
Stickel，Mark E。 舒伯特的蒸汽压路机问题：公式和解决方案。 （英语） Zbl 0642.68164号 J.汽车。推理 189-101年2月（1986年）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Stickel}，J.Autom。推理2，89--101（1986；Zbl 0642.68164） 全文： 内政部
罗兰·迪特里希 Horn逻辑的关联解析和代数补全。 （英语） Zbl 0642.68157号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 62-78 (1986).MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式
海伦娜·拉西奥瓦;安德烈·斯科伦 近似逻辑。 （英语） Zbl 0642.68040号 软件系统规格说明和综合的数学方法85，Proc。内部弹簧Sch。，Wendisch-Rietz/GDR 1985，数学。第31号决议，第123-139号决议（1986年）。 审核人：J.兹拉图斯卡 MSC公司：68问题65 03B70号 68T99型 03B45号 PDF格式BibTeX公司 XML格式
林斯，R.D。 执行范畴组合子的一个新公式。 （英语） Zbl 0642.68030号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 89-98 (1986).MSC公司：68问题65 03B40型 18日第15天 PDF格式BibTeX公司 XML格式
胡香恩 动态模糊集。二： 动态模糊集。 （英语） Zbl 0642.04005号 模糊数学。 6，第4号，67-74（1986）.MSC公司：03E99型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{X.Hu}，模糊数学。6，第4号，67--74（1986；Zbl 0642.04005）
安德烈·斯切德罗夫 具有集合的认知集合论的一些性质。 （英语） Zbl 0642.03031号 J.塞姆。日志。 51, 748-754 (1986). 审核人：H.C.M.de Swart公司 MSC公司：03E70型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Scedrov}，J.Symb。日志。51、748--754（1986年；Zbl 0642.03031） 全文： 内政部
Choun Tong Lieu公司 Point-fix sur-un系综限制。（限制集上的固定点）。 （法语） Zbl 0642.03009号 RAIRO，Inf.Théor公司。申请。 20, 383-394 (1986).MSC公司：03B40型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{Choun Tong Lieu}，RAIRO，通知。塞奥尔。申请。20、383--394（1986年；Zbl 0642.03009） 全文： 内政部 欧洲DML
布莱尔，C.E。;R.G.杰罗斯洛。;J.K.罗伊。 命题逻辑编程技术的一些结果和实验。 （英语） Zbl 0641.68140号 计算。操作。物件。 13, 633-645 (1986).MSC公司：68吨15 90立方厘米 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Blair}等人，计算。操作。决议13，633--645（1986；Zbl 0641.68140） 全文： 内政部
Yurkowski，P。;C.M.劳希特。 结合Petri网和时态逻辑对分布式系统进行建模和分析。 （英语） Zbl 0641.68083号 数值数学与计算。第15届会议，温尼伯/马尼托巴，1985年，国会。Numerantium 52，211-227（1986）。MSC公司：68问题85 03B45号 68N99型 PDF格式BibTeX公司 XML格式
迈克尔·德特莱夫森 希尔伯特的节目。一篇关于数学工具主义的文章。 （英语） Zbl 0641.03001号 合成库第182卷。Dordrecht等：D.Reidel出版公司，Kluwer学术出版集团成员。十四、 186页。；英国国防部。98.00; $ 42.00; £27.95 (1986). 审核人：圣戈特瓦尔德 MSC公司：03-02 03A05号 00A30型 03B99号 03F99型 PDF格式BibTeX公司 XML格式
Juha Honkala 由数字系统定义的集合的可识别性的一种判定方法。 （英语） Zbl 0639.68074号 RAIRO，Inf.Théor公司。申请。 20, 395-403 (1986).MSC公司：65年第68季度 11A63型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Honkala}，RAIRO，通知。塞奥尔。申请。20395--403（1986年；Zbl 0639.68074） 全文： 内政部 欧洲DML
多尔夫·乌尔里奇 用有限矩阵表征句子计算。 （英语） Zbl 0639.03030号 代表数学。逻辑 20, 63-86 (1986).MSC公司：03B99号 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Ulrich}，代表数学。逻辑20，63--86（1986；Zbl 0639.03030）
汉伯斯通。;洛克，A.J。 半补格与有限模型性质。 （英语） Zbl 0639.03027号 Z.数学。Logik Grundlagen数学。 32, 431-437 (1986). 审核人：A.R.拉乔 MSC公司：03B60号 03G10年 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.L.Humberstone}和\textit{A.J.Lock}，Z.Math。Logik Grundlagen数学。32、431--437（1986年；Zbl 0639.03027） 全文： 内政部
布拉尼斯拉夫·博里奇奇。 一个无割Gentzen型系统，用于排除中间弱律的逻辑。 （英语） Zbl 0639.03023号 螺柱日志。 45, 39-53 (1986). 审核人：O.索诺贝 MSC公司：03B55号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Borić}，研究日志。45、39——53（1986年；Zbl 0639.03023） 全文： 内政部
乔纳森·塞尔丁。 关于中间逻辑MH的证明理论。 （英语） Zbl 0639.03022号 J.塞姆。日志。 51, 626-647 (1986). 审核人：O.索诺贝 MSC公司：03B55号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin}，J.Symb。日志。51626-647（1986年；兹bl 0639.03022） 全文： 内政部
卢卡斯，Th。;拉文德霍姆，R。 确定性逻辑的复杂性是双峰的。（完成某些双模逻辑）。 （法语） Zbl 0639.03015号 逻辑分析。，努夫。Sér。 29, 391-407 (1986). 审核人：I.古尔瓦克 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Th.Lucas}和\textit{R.Lavendhomme}，日志。分析。，努夫。Sér。29391--407（1986年；Zbl 0639.03015）
大卫·米勒 各种演绎系统。 （英语） Zbl 0639.03011号 逻辑，程序。加泰罗尼亚第五届国会。，巴塞罗那/西班牙1986，25-35（1986）。 审核人：A.R.拉乔 MSC公司：03B30型 PDF格式BibTeX公司 XML格式
杜辛，R.D。;雷沃德·史密斯，V.J。;C.D.沃尔特。 形式逻辑及其在计算机科学中的应用的第一门课程。 （英语） Zbl 0639.03001号 计算机科学文本。牛津等：Blackwell Scientific Publications。六、 265页。；£9.95 (1986). 审核人：R.纳伯特 MSC公司：03-01 68-01 03B05号 03B10号机组 68吨15 60年第68季度 94立方厘米 68页第10页 PDF格式BibTeX公司 XML格式
李仁伟 Null和N关系代数。 （中文。英文摘要） Zbl 0638.68119号 J.南京理工大学。 16，第4号，67-75（1986）.MSC公司：68第20页 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{R.Li}，J.南京理工大学。16，第4号，67--75（1986；Zbl 0638.68119）
Nurtazin，A.T。 消除基本理论中的量词和可判定性问题。 （俄语） Zbl 0638.03028号 伊兹夫。阿卡德。诺克·卡兹。SSR，序列号。菲兹-材料。 1986年，第1期（128），51-54（1986）. 审核人：S.R.科加洛夫斯基 MSC公司：03C10号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{A.T.Nurtazin}，Izv。阿卡德。诺克·卡兹。SSR，序列号。菲兹-材料1986，编号1（128），51-54（1986；Zbl 0638.03028）
J·多比。 从广义表示定理看模糊连接词的性质。 （英语） 兹伯利0638.03022 《网络学报》。 7, 313-321 (1986). 审核人：S.Miura公司 MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{J.Dombi}，《网络学报》。7313-321（1986；Zbl 0638.03022）
字体，Josep M。 直觉模态逻辑中的模态和可能性。 （英语） 兹伯利0638.03017 圣母院J.形式逻辑 27, 533-546 (1986). 审核人：S.Miura公司 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Font}，圣母院J.形式逻辑27，533--546（1986；Zbl 0638.03017） 全文： 内政部
佐哈尔·曼纳;理查德·沃尔丁格 自动扣除中的特殊关系。 （英语） Zbl 0637.68103号 J.协会计算。马赫。 33, 1-59 (1986).MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger}，J.协会计算。机器。33、1-59（1986年；Zbl 0637.68103） 全文： 内政部
乔纳森·特劳戈特 嵌套分辨率。 （英语） Zbl 0637.68101号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 394-402 (1986).MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式
阿基拉·艾巴 减速机的相对效率。 （英语） Zbl 0637.68016号 Keio科学。Technol公司。代表。 39，第1期，1-24页（1986年）.MSC公司：68号01 65年第68季度 03B40型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Aiba}，Keio Sci。Technol公司。众议员39，编号1，1-24（1986年；Zbl 0637.68016）
马塞尔·克拉贝 Le schéma d’ambiguíten theéorie des types类型。 （法语） Zbl 0637.03054号 牛市。Soc.数学。贝尔格。，Sér。B类 38, 46-57 (1986).MSC公司：03E70型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Crabbé}，公牛。Soc.数学。贝尔格。，Sér。B 38，46-57（1986；Zbl 0637.03054）
斯坦尼斯·瓦·克拉耶夫斯基 关联逻辑。 （英语） Zbl 0637.03017号 代表数学。逻辑 20, 7-14 (1986). 审核人：C.F.基尔科夫 MSC公司：03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Krajewski}，代表数学。逻辑20，7--14（1986；Zbl 0637.03017）
Rick，Statman先生 每个可数偏序集都可嵌入到不可解项的偏序集中。 （英语） Zbl 0637.03013号 西奥。计算。科学。 48, 95-100 (1986). 审核人：M.W.Bunder公司 MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Statman}，Theor（西奥）。计算。科学。48,95--100（1986；Zbl 0637.03013） 全文： 内政部
刘旭华 Horn集合上的输入半锁分辨率。 （英语） Zbl 0637.03012号 科学通宝，外语编辑。 31, 289-291 (1986).MSC公司：03B35型 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}，科学科学，科学通宝。牛市。31289--291（1986；Zbl 0637.03012）
戴维·艾尔斯 释放绑定变量：一阶导数中上下文对引用的影响。 （英语） Zbl 0637.03006号 《非经典逻辑杂志》3，第2期，37-90（1986）。 审核人：W.伦琴 MSC公司：03B10号机组 PDF格式BibTeX公司 XML格式
沃尔瓦切夫，R.T。 数学逻辑和集合论的要素。教科书。（Ehlementy matematicheskoj logiki i teorii mnozhestv.Uchebnoe posobie）。 （俄语） Zbl 0637.03001号 明斯克：Izdatel'stvo“Universitetskoe”。112 p.R.0.30（1986年）。 审核人：E.Hartová MSC公司：03-01 03E20型 03B05号 03B10号机组 PDF格式BibTeX公司 XML格式
巴尼·格利克菲尔德;罗斯·奥弗贝克 对组合逻辑的探索。 （英语） Zbl 0636.68122号 J.汽车。推理 2, 419-431 (1986). 审核人：J.兹拉图斯卡 MSC公司：68吨15 03B40型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Glickfeld}和\textit{R.Overbeek}，J.Autom。推理2419-431（1986；Zbl 0636.68122） 全文： 内政部
格林·温斯克尔 具有模态断言的SCCS的完整证明系统。 （英语） Zbl 0636.68017号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 9, 401-419 (1986).MSC公司：60年第68季度 03B70号 68N25号 68吨15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel}，安.社会数学。政策。，序列号。四、 芬丹。Inf.9，401--419（1986；Zbl 0636.68017）
大卫·麦奎因;普罗特金，戈登;拉维·塞提 递归多态类型的理想模型。 （英语） Zbl 0636.68016号 Inf.控制 71, 95-130 (1986). 审核人：J.兹拉图斯卡 MSC公司：60年第68季度 03B40型 68问题65 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{D.MacQueen}等人，Inf.Control 71，95--130（1986；Zbl 0636.68016） 全文： 内政部
费利佩·布拉乔 计算数学理论：兰姆达微积分、模型和不动点。 （西班牙语） Zbl 0636.68015号 研究计划第18期国家。恭喜。墨西哥数学。社会、程序。，梅里达/墨西哥，1984年，Aportaciones Mat.，Comun。1, 115-124 (1986).MSC公司：60年第68季度 68问题65 03B40型 PDF格式BibTeX公司 XML格式
于尔肖夫（Yu Ershov）。L。;Goncharov，S.S。;D.I.斯维里登科。 语义编程。 （英语） Zbl 0636.68013号 研讨会。，洪堡大学（Sekt.Berlin）。数学。 86, 35-55 (1986).MSC公司：68号01 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}等人，研讨会。，洪堡大学（Sekt.Berlin）。数学。86、35-55（1986年；Zbl 0636.68013）
沃伊切赫·巴斯科夫斯基 经典范畴语法的强大生成能力。 （英语） Zbl 0636.03020号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 60-65 (1986).MSC公司：03B65号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{W.Buszkowski}，公牛。第节。逻辑，Pol。阿卡德。科学。15、60-65（1986年；Zbl 0636.03020）
安德烈·洛帕里克;Leila Z.普加。 道义逻辑的两个系统。 （英语） Zbl 0636.03019号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 137-144 (1986).MSC公司：03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Loparic}和\textit{L.Z.Puga}，公牛。第节。逻辑，Pol。阿卡德。科学。15、137--144（1986年；Zbl 0636.03019）
迪德里克·巴滕斯 基于简单语义类型的丰富相关逻辑。 （英语） Zbl 0636.03014号 逻辑分析。，努夫。Sér。 29, 437-457 (1986).MSC公司：03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Batens｝，日志。分析。，努夫。Sér。29437--457（1986年；Zbl 0636.03014）
横田，神道 模态命题逻辑K（S）的一些直觉主义版本。 （英语） Zbl 0636.03012号 评论。数学。圣保罗大学 35, 65-67 (1986).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Yokota}，评论。数学。圣保罗大学35，65-67（1986；Zbl 0636.03012）
横田信一 具有共模算子的模态Heyting代数。 （英语） Zbl 0636.03011号 评论。数学。圣保罗大学 35, 59-64 (1986).MSC公司：03B45号 03G10年 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.Yokota}，评论。数学。圣保罗大学35，59-64（1986；Zbl 0636.03011）
迈克尔·伯德 边界逻辑。 （英语） Zbl 0636.03009号 代表数学。逻辑 20，39-62（1986年）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Byrd}，代表数学。逻辑20，39--62（1986；Zbl 0636.03009）
Dywan、Zdzisław 经典命题演算中哥德尔-马尔科夫定理的一个新变体及其对我论文的修正：“模态逻辑必然性的连接词（S_5）是元逻辑的”。 （英语） Zbl 0636.03006号 圣母院J.形式逻辑 27, 551-555 (1986).MSC公司：03B45号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dywan}，圣母院J.形式逻辑27，551--555（1986；Zbl 0636.03006） 全文： 内政部
拉兹洛·科兹马 共享数据抽象的时态逻辑方法。 （英语） Zbl 0635.68010号 数学系。，卡尔·马克思经济大学。，布达佩斯1986-4160-172（1986）。MSC公司：68第05页 03B70号 68号01 PDF格式BibTeX公司 XML格式
伯恩德·达恩一世。;吉尔根·格内 组织环境足迹是不可判定的。 （英语） Zbl 0635.03029号 研讨会。，洪堡大学（Sekt.Berlin）。数学。 86, 14-16 (1986).MSC公司：03C60型 12月15日 12升05 12升12 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.I.Dahn}和\textit{J.Gehne}，研讨会。，洪堡大学（Sekt.Berlin）。数学。86、14-16（1986；Zbl 0635.03029）
David A.Plaisted。 命题时间逻辑和其他专门理论相结合的决策过程。 （英语） Zbl 0635.03026号 J.汽车。推理 2, 171-190 (1986).MSC公司：03B70号 03B25号 68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Plaisted}，J.Autom。推理2171--190（1986；Zbl 0635.03026） 全文： 内政部
玛丽亚·曼扎诺 新的事实，旧的语言。 （西班牙语。英文摘要） 兹比尔0635.03025 逻辑，程序。加泰罗尼亚第五届国会。，巴塞罗那/西班牙，1986年，17-22（1986）。MSC公司：03B70号 03-01 68-01 68问题65 PDF格式BibTeX公司 XML格式
沃尔夫冈·劳滕贝格 弱Kripke语义在中间结果中的应用。 （英语） Zbl 0635.03020号 螺柱日志。 45, 119-134 (1986). 审核人：T.河内 MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{W.Rautenberg}，研究日志。45、119——134（1986；Zbl 0635.03020） 全文： 内政部
拉里萨·马克西莫娃。 关于具有析取性质的极大中间逻辑。 （英语） Zbl 0635.03019号 螺柱日志。 45, 69-75 (1986). 审核人：T.细井 MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，研究日志。45、69-75（1986年；Zbl 0635.03019） 全文： 内政部