Current topics in logic and analytic philosophy. edited by Concha Martínez, José L. Falguera and José M. Sagüillo, Colloquium on Logic and Analytic Philosophy at Santiago de Compostela, 2001–2005. Universidade de Santiago de Compostela, 2007, 288 pp.

IF 0.7 3区数学 Q1 LOGIC

Bulletin of Symbolic Logic Pub Date : 2008-06-01 DOI:10.1017/S1079898600001773

A. Urquhart

引用次数: 0

Abstract

Finally, the sentence “The notion of proof net is not decidable in an elementary way” (p. 131) is plain wrong. A proof net consists of a sequence of formulas, equipped with the axiom links (i.e., the coherence graph). The question whether such an object is correct, (i.e., represents an actual proof) can be decided in linear time. Lutz Strassburger École Polytechnique, LIX, Rue de Saclay, 91128 Palaiseau Cedex, France Lutz.Strassburger@inria.fr.

查看原文本刊更多论文

逻辑学和分析哲学的当前主题。Concha Martínez、JoséL.Falguera和JoséM.Sagüillo主编，《圣地亚哥德孔波斯特拉逻辑与分析哲学学术讨论会》，2001-2005年。圣地亚哥-德孔波斯特拉大学，2007年，288页。

最后，“证明网的概念不能以基本方式确定”(第131页)这句话显然是错误的。证明网由一系列公式组成，并配有公理链(即相干图)。这样一个对象是否正确(即是否代表一个实际证明)的问题可以在线性时间内确定。Lutz Strassburger École巴黎综合理工学院，Rue de Saclay, 91128 Palaiseau Cedex，法国Lutz.Strassburger@inria.fr。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Bulletin of Symbolic Logic 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.