Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems
Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems
复制标题
自动化和计算次一致推理：无收缩、解析和类型系统
DOI：
10.1002/malq.19690151602
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
N. Kamide
中科院分区：
文献类型：
--
作者：
N. Kamide
首先，通过对直觉命题逻辑的无收缩系统G4ip的改进和扩展，引入了Nelson副协调4值逻辑N4的无收缩序列系统G4np。结合Dyckhof可以证明G4np的结构规则消去定理
Firstly, a contraction-free sequent system G4np for Nelson’s paraconsistent 4-valued logic N4 is introduced by modifying and extending a contraction-free system G4ip for intuitionistic propositional logic. The structural rule elimination theorem for G4np can be shown by combining Dyckhof
纳尔逊次一致逻辑及其邻居的自然演绎系统
DOI：
--
发表时间：
--
期刊：
Journal of Applied Non-Classical Logics (受理済)
影响因子：
--
作者：
上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広
通讯作者：
上出哲広