Base-extension semantics for intuitionistic sentential logic
Base-extension semantics for intuitionistic sentential logic
复制标题
直觉句子逻辑的基础扩展语义
DOI：
--
复制
发表时间：
2015
影响因子：
1
通讯作者：
Tor Sandqvist
中科院分区：
文献类型：
--
作者：
Tor Sandqvist
直觉主义基本逻辑是健全的和完整的语义围绕原子基础（即原子句子的推理规则集）的扩展。这个结果是可能通过一个非标准的解释的析取，据此，粗略地说，一个析取被认为是成立的情况下，每个原子句子，从每个析取分别举行;有人认为，这种解释是有道理的，提供了规则的原子基地被认为是接受假设，而不是绝对的。
Intuitionistic sentential logic is shown to be sound and complete with respect to a semantics centered around extensions of atomic bases (i.e. sets of inference rules for atomic sentences). The result is made possible through a non-standard interpretation of disjunction, whereby, roughly speaking, a disjunction is taken to hold just in case every atomic sentence that follows from each of the disjuncts separately holds; it is argued that this interpretation makes good sense provided that rules in atomic bases are conceived of as being accepted hypothetically rather than categorically.
证明理论语义的完整性失败
影响因子：
1.5
作者：
Piecha;Schroeder-Heister;P. (with W. de Campos Sanz)
通讯作者：
P. (with W. de Campos Sanz)