The Explosion Calculus
The Explosion Calculus
复制标题
爆炸演算
DOI：
10.1007/s11225-019-09861-6
复制
发表时间：
2019
期刊：
影响因子：
0.7
通讯作者：
中科院分区：
文献类型：
--
作者：
介绍了一种经典命题序列的演算方法，它由截断规则的受限形式和逻辑规则的局部变体组成。在证明搜索的风格中，这个演算将给定的序列分解成它的基本结构序列-这样构造的派生中的最上面的序列-不包含任何逻辑常量。将详细讨论基本结构序列的集合相对于其派生的序列所表现出的一些性质，即公式出现的唯一性和唯一表示。基于这些性质，我们认为，基本结构序列的集合构成了从其获得它的序列的纯结构表示。
A calculus for classical propositional sequents is introduced that consists of a restricted version of the cut rule and local variants of the logical rules. Employed in the style of proof search, this calculus explodes a given sequent into its elementary structural sequents—the topmost sequents in a derivation thus constructed—which do not contain any logical constants. Some of the properties exhibited by the collection of elementary structural sequents in relation to the sequent they are derived from, uniqueness and unique representation of formula occurrences, will be discussed in detail. Based on these properties it is suggested that a collection of elementary structural sequents constitutes the purely structural representation of the sequent from which it is obtained.
登录
查看更多内容
相信卫星系统的超公理系统
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
P. Hertz
通讯作者：
P. Hertz
Tonk-完整的数学解决方案
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
A. Avron
通讯作者：
A. Avron
影响因子：
0.8
作者：
P. Schroeder
通讯作者：
P. Schroeder
ber Axiomensysteme fr beliebige Satzsysteme：Teil II。
影响因子：
1.4
作者：
P. Hertz
通讯作者：
P. Hertz
Untersuchungen über das logische Schließen II。
DOI：
--
发表时间：
1935
期刊：
影响因子：
--
作者：
G. Gentzen
通讯作者：
G. Gentzen