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 条

[1] LOGIC PROGRAMMING IN A FRAGMENT OF INTUITIONISTIC LINEAR LOGIC
HODAS, JS
MILLER, D
[J]. INFORMATION AND COMPUTATION, 1994, 110 (02) : 327 - 365
[2] Linear logic and intuitionistic logic
Okada, M
[J]. REVUE INTERNATIONALE DE PHILOSOPHIE, 2004, 58 (230) : 449 - 481
[3] An Intuitionistic Completeness Theorem for Classical Predicate Logic
Victor N. Krivtsov
[J]. Studia Logica, 2010, 96 : 109 - 115
[4] An Intuitionistic Completeness Theorem for Classical Predicate Logic
Krivtsov, Victor N.
[J]. STUDIA LOGICA, 2010, 96 (01) : 109 - 115
[5] The decidability of the intensional fragment of classical linear logic
Bimbo, Katalin
[J]. THEORETICAL COMPUTER SCIENCE, 2015, 597 : 1 - 17
[6] Coherence in linear predicate logic
Dosen, Kosta
Petric, Zoran
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2009, 158 (1-2) : 125 - 153
[7] A translation of intuitionistic predicate logic into basic predicate logic
Ardeshir M.
[J]. Studia Logica, 1999, 62 (3) : 341 - 352
[8] Skolemisation for Intuitionistic Linear Logic
Bruni, Alessandro
Ritter, Eike
Schurmann, Carsten
[J]. AUTOMATED REASONING, IJCAR 2024, PT II, 2024, 14740 : 61 - 77
[9] NONCOMMUTATIVE INTUITIONISTIC LINEAR LOGIC
ABRUSCI, VM
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (04): : 297 - 318
[10] AN INTERPRETATION OF INTUITIONISTIC PREDICATE LOGIC IN MODAL LOGIC
PRAWITZ, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 565 - &

← 1 2 3 4 5 →