×

找到18个文档（结果1-18）

最新的 引文 关联
皮埃尔路易吉·米纳里

关于无限模态逻辑的证明理论和语义的一些评论。 （英语） Zbl 1439.03045号

Kahle，Reinhard（编辑）等人，《证明理论的进展》。2013年12月13日至14日，瑞士伯尔尼，Gerhard Jäger诞辰60周年之际，研讨会记录。巴塞尔：Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 291-318 (2016).
MSC公司：03B45 03C75号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{P.Minari}，程序。计算。科学。申请。日志。28、291--318（2016；Zbl 1439.03045）
全文： 内政部
山崎，坂子;胜彦三野

从严格蕴涵逻辑扩展到模态逻辑的构造嵌入。 （英语） Zbl 1429.03087号

Yang，Syraya Chin-Mu（编辑）等，非经典逻辑的结构分析。2014年10月24日至25日，第二届台湾哲学逻辑学术研讨会论文集，台湾台北。柏林：施普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，223-251 (2016).
MSC公司：03B45 03B20型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.Yamasaki}和\textit{K.Sano}，in：非经典逻辑的结构分析。2014年第二届台湾哲学逻辑学术研讨会论文集，台湾台北，2014年10月24-25日。柏林：施普林格。223--251（2016；Zbl 1429.03087）
全文： 内政部
维罗尼察博尔贾·马西亚斯;米盖尔·佩雷斯·加斯帕

\（\mathrm的Kripke类型语义{CG}_3'\). （英语） Zbl 1394.03045号

Arrazola Ramírez，JoséRamón（编辑）等人，第十届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文选集，墨西哥普埃布拉，2016年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》328，17-29（2016）。
MSC公司：03B53号 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{V.Borja Macías}和\textit{M.Pérez-Gaspar}，电子。理论注释。计算。科学。328、17-29（2016；Zbl 1394.03045）
全文： 内政部
潘奇阿，维特

直觉主义逻辑的非标准语义框架。 （英语） Zbl 1410.03014号

Arazim，Pavel（编辑）等人，《2015年逻辑年鉴》。2015年6月15日至19日，捷克共和国赫尼茨修道院，第29届年度国际研讨会Logica会议记录。伦敦：学院出版物。179-192 (2016).
MSC公司：03B20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Punčochář}，收录于：《2015年Logica年鉴》。2015年6月15日至19日，捷克共和国赫尼茨修道院，第29届年度国际研讨会Logica会议记录。伦敦：学院出版物。179-192（2016；Zbl 1410.03014）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

软件