Hidenori Kurokawa 证明逻辑和可证明性的前缀表系统。 （英语） Zbl 1401.03101号 Galmiche，Didier（编辑）等人，《使用分析表和相关方法的自动推理》。2013年9月16日至19日，法国南希，第22届国际会议，TABLEAUX 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40536-5/pbk）。计算机科学课堂讲稿8123。《人工智能课堂讲稿》，203-218（2013）。 小结：本文结合Artemov的证明逻辑介绍了前缀表系统，该逻辑是为了探索证明的组合结构而引入的，而可证明性逻辑（强可证明性）是几十年来在算术中作为形式可证明性（可证明性和真值）逻辑研究的。这种联合逻辑已经被研究过，但迄今为止，文献中还没有这些逻辑的无裁剪表系统。通过这些逻辑的无割前缀表系统的语义完备性，我们证明了这些系统的割的可容许性。关于整个系列，请参见[Zbl 1272.68020号]. MSC公司： 第03页第45页 可证明逻辑和相关代数（例如，可对角化代数） 03B35型 证明和逻辑操作的机械化 关键词：前缀表系统;证明逻辑;可证明逻辑 PDF格式BibTeX公司 XML格式引用 \textit{H.Kurokawa}，莱克特。注释计算。科学。8123203--218（2013；Zbl 1401.03101） 全文： DOI程序