NONMODAL CLASSICAL LINEAR PREDICATE LOGIC IS A FRAGMENT OF INTUITIONISTIC LINEAR LOGIC

被引：3
|
作者：
DOSEN, K
机构：
[1] Matematički Institut, Knez Mihailova 35, 11001 Beograd
来源：
THEORETICAL COMPUTER SCIENCE | 1992年 / 102卷 / 01期
关键词：
D O I：
10.1016/0304-3975(92)90300-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
It is shown that nonmodal classical linear first-order predicate logic based on multiplicative conjunction, additive disjunction, negation, the propositional constants and the existential quantifier is included in intuitionistic linear first-order predicate logic. An analogous result is obtained for BCK logic.
引用
收藏
页码：207 / 214
页数：8
相关论文
共 50 条
12345