谢尔盖·阿特莫夫。;塔蒂亚娜·亚沃斯卡娅 具有约束力的方式。 （英语） Zbl 1352.03027号 J.日志。计算。 26，编号1451-461（2016）. 审核人：亚历克斯·西特金（沃伦） MSC公司：03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Artemov}和\textit{T.Yavorskaya}，J.Log。计算。26，第1号，451--461（2016；Zbl 1352.03027） 全文： 内政部 链接
海因里希·瓦辛 证伪、自然演绎和双理论逻辑。 （英语） Zbl 1444.03009号 J.日志。计算。 26，第1期，425-450（2016）.MSC公司：03B20型 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}，J.Log。计算。26，第1号，425--450（2016；Zbl 1444.03009） 全文： 内政部
丹尼尔·蒙迪奇 多维数据集上的逻辑。 （英语） Zbl 1444.03182号 J.日志。计算。 26，第1号，409-424（2016）.MSC公司：03G25 03B50号 03B53号 03G20年 PDF格式BibTeX公司 XML格式引用 \textit{D.Mundici}，J.Log。计算。26，第1号，409--424（2016；Zbl 1444.03182） 全文： 内政部 arXiv公司
薄荷，G。;Steinert-Threlkeld女士。 直觉命题自然演绎的ADC证明搜索方法。 （英语） Zbl 1444.03160号 J.日志。计算。 26，第1号，395-408（2016）.MSC公司：03年3月 03B20型 05年3月 20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖}和\textit{Sh.Steinert-Threlkeld}，J.Log。计算。26，第1号，395--408（2016；Zbl 1444.03160） 全文： 内政部
乔治·梅特卡夫 R-mingle片段的Avron规则。 （英语） 兹比尔1444.03083 J.日志。计算。 26，第1期，381-393（2016）.MSC公司：03B47号 PDF格式BibTeX公司 XML格式引用 \textit{G.Metcalfe}，J.Log（简·梅特卡夫）。计算。26，第1号，381--393（2016；Zbl 1444.03083） 全文： 内政部 链接
Meheus，笑话;克里斯蒂安·斯特拉;彼得·弗代尔 面对相互冲突的信息，应该选择哪种推理方式？ （英语） Zbl 1444.03117号 J.日志。计算。 26，第1期，361-380（2016）.MSC公司：03B70号 03B53号 03A05号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Meheus}等人，J.Log。计算。26，第1号，361--380（2016；Zbl 1444.03117） 全文： 内政部 链接
奥里·拉哈夫 规范哥德尔超连续系统的语义研究。 （英语） Zbl 1396.03059号 J.日志。计算。 26，第1期，337-360（2016）.MSC公司：03B52号 05年3月 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.Lahav}，J.Log（J·洛格）。计算。26，第1号，337--360（2016；Zbl 1396.03059） 全文： 内政部 链接
Furio Honsell;玛丽娜·莱妮莎;伊万·斯卡涅托;路易吉·利科里;佩塔·马克西莫维奇 开放的逻辑框架。 （英语） Zbl 1352.68061号 J.日志。计算。 26，第1期，293-335（2016）.MSC公司：68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛F.Honsell｝等人，J.日志。计算。26，第1号，293--335（2016；Zbl 1352.68061） 全文： 内政部 链接
加贝，D.M。 两极和三极论证网络的逻辑基础：初步结果。 （英语） Zbl 1352.68227号 J.日志。计算。 26，第1期，247-292（2016）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}，J.Log（J·洛格）。计算。26，第1号，247--292（2016；Zbl 1352.68227） 全文： 内政部 链接
尼西姆·弗朗西兹 相关和谐。 （英语） Zbl 1403.03038号 J.日志。计算。 26，第1期，235-245（2016）.MSC公司：03B47号 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}，J.Log（简·洛格）。计算。26，第1号，235--245（2016；Zbl 1403.03038） 全文： 内政部
配件，梅尔文 利用模型存在定理实现。 （英语） Zbl 1403.03030号 J.日志。计算。 26，第1期，213-234（2016）.MSC公司：03B45号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting}，J.Log。计算。26，第1号，213--234（2016；Zbl 1403.03030） 全文： 内政部 链接
Fermüller，Christian G。 关于矩阵、N矩阵和游戏。 （英语） Zbl 1403.03042号 J.日志。计算。 26，第1期，189-211（2016）.MSC公司：03B50号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Fermüller}，J.Log。计算。26，第1号，189--211（2016；Zbl 1403.03042） 全文： 内政部 链接
罗伊·戴克霍夫;萨拉·内格里 Grzegorczyk逻辑的无切割序列系统，应用于Gödel-McKinsey-Tarski嵌入。 （英语） Zbl 1444.03170号 J.日志。计算。 26，第1期，169-187（2016）.MSC公司：03层45 03B45号 03年3月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Dyckhoff}和\textit{S.Negri}，J.Log。计算。26，第1号，169--187（2016；Zbl 1444.03170） 全文： 内政部
纳胡姆德肖维茨;Gilles Dowek 两个维度的普遍性。 （英语） Zbl 1334.68067号 J.日志。计算。 26，第1期，143-167（2016）.MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{G.Dowek}，J.Log。计算。26，第1号，143--167（2016；Zbl 1334.68067） 全文： 内政部 哈尔
卡洛斯·科特里尼;尤里·古里维奇 基本的原始信息逻辑。 （英语） Zbl 1403.03050号 J.日志。计算。 26，第1期，117-141（2016）.MSC公司：03B70号 03B05号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Cotrini}和\textit{Y.Gurevich}，J.Log。计算。26，第1号，117--141（2016；Zbl 1403.03050） 全文： 内政部 链接
沃尔特·卡尼埃利;马塞洛·E·科尼格里奥。 通过一致性预测的准一致集理论。 （英语） 兹比尔1444.03148 J.日志。计算。 26，第1期，97-116（2016）.MSC公司：03E70型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{W.Carnielli}和\textit{M.E.Coniglio}，J.Log。计算。26，第1号，97--116（2016；Zbl 1444.03148） 全文： 内政部 链接
迪德里克·巴滕斯 被宠坏了吗？ （英语） Zbl 1444.03098号 J.日志。计算。 26，第1期，65-95（2016）.MSC公司：03B53号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Batens｝，J.日志。计算。26，第1号，65-95（2016；Zbl 1444.03098） 全文： 内政部 链接
马提亚斯·巴兹;蝉蜕、阿加塔 见证哥德尔逻辑的证明理论：一个否定的结果。 （英语） Zbl 1444.03016号 J.日志。计算。 26，第1号，51-64（2016）.MSC公司：03B40型 03B20型 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{A.Ciabattoni}，J.Log。计算。26，第1号，51--64（2016；Zbl 1444.03016） 全文： 内政部
雷吉斯·阿伦达;尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨 正常条件逻辑的嵌套序列计算。 （英语） Zbl 1444.03102号 J.日志。计算。 26，第1期，7-50（2016）.MSC公司：03B60号 03年3月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Alenda}等人，J.Log。计算。26、第1号、第7--50号（2016；Zbl 1444.03102） 全文： 内政部 链接