Väänänen,佐科(编辑);鲁伊·德·奎罗斯(编辑);毛里西奥·奥索里奥·加林多(编辑);克劳迪娅·泽佩达·科尔特斯(编辑);JoséR.Arrazola,Ramírez(编辑) 第23届逻辑、语言、信息和计算研讨会(WoLLIC 2016)。 (英文) 兹比尔1405.03006 日志。J.IGPL公司 25,第2期,253-272(2017).MSC公司:03-06 68-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{J.Väänänen}(编辑)等人,《日志》。J.IGPL 25,第2号,253--272(2017;Zbl 1405.03006) 全文: DOI程序
毛里西奥索里奥;JoséAbel Joo城堡 RC-型次协调逻辑之间的等价性。 (英文) Zbl 1405.03065号 日志。J.IGPL公司 25,第2号,239-252(2017).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.Osorio}和\textit{J.A.Castellanos Joo},日志。J.IGPL 25,第2号,239--252(2017;Zbl 1405.03065) 全文: DOI程序
穆罕默德·阿德希尔;扎赫拉·加福里 开放归纳和Specker序列的原理。 (英文) Zbl 1405.03099号 日志。J.IGPL公司 25,第2期,232-238(2017).MSC公司:03英尺60英寸 PDF格式BibTeX公司 XML格式引用 \textit{M.Ardeshir}和\textit{Z.Ghafouri},日志。J.IGPL 25,No.2,232--238(2017;Zbl 1405.03099) 全文: DOI程序
Shirmohammadzadeh Maleki,法特梅;迪克·德容 弱亚直觉逻辑。 (英文) Zbl 1405.03029号 日志。J.IGPL公司 25,第2期,214-231(2017).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Shirmohammadzadeh Maleki}和\textit{D.de Jongh},Log。J.IGPL 25,No.2,214--231(2017;Zbl 1405.03029) 全文: DOI程序 链接
阿瓜多,F。;Ascaliz,P。;卡巴拉,P。;佩雷斯,G。;维达尔,C。 ASP指称语义的验证:使用PVS定理证明器的案例研究。 (英文) Zbl 1407.68429号 日志。J.IGPL公司 25,第2期,195-213(2017).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人,日志。J.IGPL 25,第2期,195--213(2017;Zbl 1407.68429) 全文: DOI程序
阿诺·阿夫隆;Jean-Yves贝齐奥 自扩展三值次协调逻辑没有任何含义。 (英文) 兹比尔1405.03063 日志。J.IGPL公司 25,第2期,183-194(2017).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{J.-Y.Beziau},Log。J.IGPL 25,第2期,183--194(2017;Zbl 1405.03063) 全文: DOI程序
Chrysafis哈托纳斯 非分配命题逻辑的序对偶关系语义。 (英文) Zbl 1405.03071号 日志。J.IGPL公司 25,第2期,145-182(2017).MSC公司:03B60号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Hartonas},日志。J.IGPL 25,No.2,145--182(2017;Zbl 1405.03071) 全文: DOI程序
马西米利亚诺·卡拉拉;丹尼尔·奇菲;西罗·德弗洛里奥 断言和假设:对立关系的逻辑框架。 (英文) Zbl 1405.03074号 日志。J.IGPL公司 25,第2期,131-144(2017).MSC公司:03B65型 PDF格式BibTeX公司 XML格式引用 \textit{M.Carrara}等人,《日志》。J.IGPL 25,第2号,131--144(2017;Zbl 1405.03074) 全文: DOI程序 链接
吉尔达·费雷拉 \(\t)-以原子F实现的IPC转换。 (英文) Zbl 1405.03091号 日志。J.IGPL公司 25,第2期,115-130(2017).MSC公司:07年3月 03B20型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Ferreira},日志。J.IGPL 25,No.2,115--130(2017;Zbl 1405.03091) 全文: DOI程序 链接