卢卡斯,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)
沃尔夫冈·劳滕贝格 弱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 0633.03009号 牛市。第节。逻辑,Pol。阿卡德。科学。 15, 159-163 (1986). 审核人:I.D’Ottaviano公司 MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Mircheva},公牛。第节。逻辑,Pol。阿卡德。科学。15、159--163(1986年;Zbl 0633.03009)
彼得·斯坦纳克 Über系统否定了Modalitäten。 (德语) Zbl 0626.03011号 Unters公司。Logik Methodol公司。 3, 55-68 (1986). 审核人:P.马特拉纳 MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{P.斯坦纳克},Unters。Logik Methodol公司。3、55-68(1986年;Zbl 0626.03011)
蒂姆·卡尔森 具有多个运算符和概率解释的模态逻辑。 (英语) Zbl 0625.03007号 以色列。数学杂志。 54, 14-24 (1986). 审核人:S.Artemov公司 MSC公司:03B45 07年3月 03英尺30英寸 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Carlson},以色列。数学杂志。54、14-24(1986年;Zbl 0625.03007) 全文: 内政部
马提亚斯·巴兹 Da Costa的次一致逻辑的Kripke类型语义(C_{\omega})。 (英语) Zbl 0622.03013号 圣母院J.形式逻辑 27, 523-527 (1986). 审核人:普赖斯特 MSC公司:03B45 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz},圣母院J.形式逻辑27,523--527(1986;Zbl 0622.03013) 全文: 内政部
马克斯·乌尔赫斯 关于Stanislaw Ja sh kowski的两个系统。 (英语) Zbl 0619.03016号 《非经典逻辑杂志》3,25-32(1986)。 审核人:J.麦肯齐 MSC公司:03B45 03B60号 03A05号 PDF格式BibTeX公司 XML格式
小森,Yuichi 谓词逻辑没有结构规则。 (英语) Zbl 0619.03009号 螺柱日志。 45, 393-404 (1986).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Komori},研究日志。45393-404(1986年;兹bl 0619.03009) 全文: 内政部
Dalla Chiara,玛丽亚·路易莎 量子逻辑在非经典逻辑领域中的相关性。 (英语) Zbl 0616.03039号 科学的逻辑、方法论和哲学VII,Proc。第七届国际会议。,萨尔茨堡1983年,《发现逻辑研究》。数学。114, 241-253 (1986). 审核人:R.华莱士花园 MSC公司:03G12号机组 81页第10页 03B45 PDF格式BibTeX公司 XML格式
小森,Yuichi 直觉谓词逻辑的一种新语义。 (英语) Zbl 0615.03011号 螺柱日志。 45, 9-17 (1986).MSC公司:03B55号 03楼50 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Komori},研究日志。45、9——17(1986;Zbl 0615.03011) 全文: 内政部
Unterhalt,迈克尔 Kripke-Semantik für Logik mit parteller Existenz公司。 (德语) 兹比尔0592.03050 威斯特法·利申·威廉姆斯大学数学系(Fachbereich Mathematik der Westfälischen Wilhelms-Universityät Münster)。215 S.(1986)。MSC公司:03楼55 PDF格式BibTeX公司 XML格式