马明辉;赵志光 严格蕴涵的统一对应和证明理论。 (英语) Zbl 1444.03082号 J.日志。计算。 27,第3期,921-960(2017)。MSC公司:03B47号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Ma}和\textit{Z.Zhao},J.Log。计算。27,第3号,921--960(2017;Zbl 1444.03082) 全文: 内政部 arXiv公司
菲利普·巴尔比亚尼;廷切夫、廷科 模态可定义性的不确定问题。 (英语) Zbl 1444.03043号 J.日志。计算。 27,第3号,901-920(2017)。MSC公司:03B45号 03B25号 03第35页 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{T.Tinchev},J.Log。计算。27,第3号,901--920(2017;Zbl 1444.03043) 全文: 内政部
威廉·康雷迪;克劳德特·罗宾逊 关于混合逻辑的Sahlqvist理论。 (英语) Zbl 1444.03048号 J.日志。计算。 27,第3期,867-900(2017)。MSC公司:03B45号 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}和\textit{C.Robinson},J.Log。计算。27,第3号,867--900(2017;Zbl 1444.03048) 全文: 内政部
亚历山德拉·帕尔米吉亚诺;苏米特·苏拉布;赵志光 Jónsson式的ALBA不等式规范。 (英语) 兹比尔1444.03071 J.日志。计算。 27,第3期,817-865(2017)。MSC公司:03B45号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{A.Palmigiano}等人,J.Log。计算。27,第3号,817--865(2017;Zbl 1444.03071) 全文: 内政部
亚历山德拉·帕尔米吉亚诺;苏米特·苏拉布;赵志光 不可能世界的萨勒奎斯特理论。 (英语) Zbl 1444.03070号 J.日志。计算。 27,第3期,775-816(2017)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Palmigiano}等人,J.Log。计算。27,第3号,775--816(2017;Zbl 1444.03070) 全文: 内政部 arXiv公司
卢茨·施罗德;德克·帕丁森;塔德乌什·利塔克 余代数谓词逻辑的van Benthem/Rosen定理。 (英语) Zbl 1388.03069号 J.日志。计算。 27,第3号,749-773(2017)。 审核人:季莫奇科(俄斯特拉发) MSC公司:03G30型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}等人,J.Log。计算。27,第3号,749--773(2017;Zbl 1388.03069) 全文: 内政部 链接
威廉·康雷迪;安德鲁·克雷格 mu结石的典型性结果:一种算法方法。 (英语) Zbl 1444.03047号 J.日志。计算。 27,第3号,705-748(2017)。MSC公司:03B45号 03G10年 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}和\textit{A.Craig},J.Log。计算。27,第3号,705--748(2017;Zbl 1444.03047) 全文: 内政部 arXiv公司
Bezhanishvili,尼克;苏米特·苏拉布 拓扑定点逻辑的Sahlqvist保持。 (英语) Zbl 1444.03044号 J.日志。计算。 27,第3号,679-703(2017)。MSC公司:03B45号 03B70号 22日6时 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{S.Sourabh},J.Log。计算。27,第3号,679--703(2017;Zbl 1444.03044) 全文: 内政部 链接
萨宾·弗里特拉;亚历山德拉·帕尔米吉亚诺;路易吉·桑托卡纳莱 基于单调模态逻辑对应理论的有限格对偶刻划。 (英语) Zbl 1444.03173号 J.日志。计算。 27,第3号,639-678(2017)。MSC公司:03G10年 03B45号 05年6月 06天50分 PDF格式BibTeX公司 XML格式引用 \textit{S.Frittella}等人,J.Log。计算。27,第3号,639--678(2017;Zbl 1444.03173) 全文: 内政部 arXiv公司 哈尔
威尔玛丽·莫顿;van Alten,Clint J。 标准FEP构造。 (英语) Zbl 1444.06012号 J.日志。计算。 27,第3号,609-637(2017)。MSC公司:2015年2月6日 03G25号 08A55号 PDF格式BibTeX公司 XML格式引用 \textit{W.Morton}和\textit{C.J.van Alten},J.Log。计算。27,编号3609-637(2017;兹bl 1444.06012) 全文: 内政部
威廉·康雷迪(编辑);亚历山德拉·帕尔米吉亚诺(编辑) 编辑:非经典逻辑的规范性和对应性。 (英语) Zbl 1362.00028号 J.日志。计算。 27,第3期,607-608(2017)。MSC公司:00B15号机组 2006年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}(编辑)和\textit{A.Palmigiano}(主编),J.Log。计算。27,第3号,607--608(2017;Zbl 1362.00028) 全文: 内政部