久田广彦 真算术中可证明逻辑的证明理论。 (英语) Zbl 1462.03027号 螺柱日志。 108,第4期,857-875(2020). 审核人:姆拉登·武科维奇(萨格勒布) MSC公司:03层45 03B45号 05年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Kushida},研究日志。108,第4号,857--875(2020;Zbl 1462.03027) 全文: 内政部
安德烈亚斯·费尔斯塔德 带有标记序列演算的Herzberger极限规则。 (英语) Zbl 1484.03119号 螺柱日志。 108,第4期,815-855(2020年).MSC公司:05年3月 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{A.Fjellstad},螺柱日志。108,编号4,815--855(2020;Zbl 1484.03119) 全文: 内政部
查尔斯·麦卡蒂 从直觉上来说,可满足性是错误的:Dana Scott提出的一个问题。 (英语) Zbl 1484.03129号 螺柱日志。 108,第4期,803-813(2020).MSC公司:03楼55 03B20型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{C.McCarty},螺柱日志。108,第4号,803--813(2020;Zbl 1484.03129) 全文: 内政部
弗朗西斯科·保利;米歇尔·普拉·巴尔迪 次协调弱Kleene逻辑的证明理论。 (英语) Zbl 1476.03031号 螺柱日志。 108,第4号,779-802(2020). 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Paoli}和\textit{M.Pra Baldi},Stud.Log。108,第4号,779--802(2020;Zbl 1476.03031) 全文: 内政部
剪切,特德;约翰·奎金 自信地论证逻辑。 (英语) Zbl 1476.03016号 螺柱日志。 108,第4期,751-778(2020). 审核人:亚历克斯·西特金(沃伦) MSC公司:03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Shear}和\textit{J.Quiggin},Stud.Log。108,第4号,751--778(2020;Zbl 1476.03016) 全文: 内政部
臀部,沃尔夫冈;张霞 \(L)-效应代数。 (英语) Zbl 1459.08003号 螺柱日志。 108,第4期,725-750(2020年). 审核人:Jafar Pashazadeh(博纳布) MSC公司:08A55号 03G12号机组 81页第10页 03B52号 06第15页 05年6月 46L51型 PDF格式BibTeX公司 XML格式引用 \textit{W.Rump}和\textit{X.Zhang},Stud.Log。108,编号4,725--750(2020;Zbl 1459.08003) 全文: 内政部
尼古拉斯·皮斯克 关于哥德尔证明逻辑强公理化的注记。 (英语) Zbl 1461.03023号 螺柱日志。 108,第4期,687-724(2020). 审核人:梅格达德·加里(伊斯法罕) MSC公司:03B52号 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Pischke},螺柱日志。108,第4号,687--724(2020;Zbl 1461.03023) 全文: 内政部 arXiv公司
贝尔科娃,玛尔塔;阿尔穆德纳科拉西托 弱否定正逻辑的证明理论。 (英语) Zbl 1484.03013号 螺柱日志。 108,第4号,649-686(2020).MSC公司:03B20型 03英镑05 05年3月 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}和\textit{A.Colacito},Stud.Log。108,第4号,649--686(2020;Zbl 1484.03013) 全文: 内政部 arXiv公司