Adaptive Proofs for Networks of Partial Structures
Adaptive Proofs for Networks of Partial Structures
复制标题
部分结构网络的自适应证明
DOI：
10.1007/978-3-319-40220-8_2
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Peter Verdée
中科院分区：
文献类型：
--
作者：
Holger Andreas;Peter Verdée
本文阐述了次一致推理的首选模型语义。这种语义的基本思想是我们解释一个理论的语言L(V)T，使得最大程度地满足Ta的公理。这些优选的解释是根据部分结构的网络来描述的。根据对次一致推理的语义分析，我们使用自适应逻辑开发了相应的证明理论。
The present paper expounds a preferred models semantics of paraconsistent reasoning. The basic idea of this semantics is that we interpret the languageL(V) of a theoryTin such a way that the axioms ofTare satisfied to a maximal extent. These preferred interpretations are described in terms of a network of partial structures. Upon this semantic analysis of paraconsistent reasoning we develop a corresponding proof theory using adaptive logics.
登录
查看更多内容
将自适应逻辑的标准格式扩展到优先级情况
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Frederik Van De Putte;Christian Straßer
通讯作者：
Christian Straßer
默认推理框架中的信念修正
DOI：
--
发表时间：
1989
期刊：
Logic of Theory Change
影响因子：
--
作者：
G. Brewka
通讯作者：
G. Brewka
科学与部分真理
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
N. Costa;S. French
通讯作者：
S. French
影响因子：
0.8
作者：
N. Rescher;R. Manor
通讯作者：
N. Rescher;R. Manor
面对相互矛盾的信息时应选择哪种推理方式？
影响因子：
0.7
作者：
J. Meheus;Christian Straßer;P. Verdée
通讯作者：
P. Verdée