A new constructive logic: classic logic
A new constructive logic: classic logic
复制标题
新的构造逻辑：经典逻辑
DOI：
10.1017/s0960129500001328
复制
发表时间：
1991
影响因子：
0.5
通讯作者：
J. Girard
中科院分区：
文献类型：
--
作者：
J. Girard
介绍这项工作有两种方法：最有效的当然是从主要的句法定义开始，然后以语义结束：这就是我们在正文中采用的介绍方法：第 1 节，句法；第 2 节，语义。另一种可能是按照发现概念的顺序，即（如预期的那样）从语义开始，到句法结束；我们采用第二种方式进行介绍，希望这种对同一对象的正交研究有助于理解概念。
There are two ways to present this work; the most efficient is of course to start with the main syntactical definitions, and to end with semantics: this is the presentation that we follow in the body of the text: section 1, syntex; section 2, semantics. Another possibility is to follow the order of discovery of the concepts, which (as expected) starts with the semantics and ends with the syntex; we adopt this second way for our introduction, hoping that this orthogonal look at the same object will help to apprehend the concepts.