A MODAL INTERPRETATION OF INTUITIONISTIC LOGIC

被引：0

|

作者：

LAVENDHOMME, R

LUCAS, T

机构：

来源：

COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE | 1984年 / 298卷 / 09期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：193 / 196

页数：4

相关论文

共 50 条

[1] AN INTERPRETATION OF INTUITIONISTIC PREDICATE LOGIC IN MODAL LOGIC
PRAWITZ, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 565 - &
[2] On an Intuitionistic Modal Logic
G. M. Bierman
V. C. V. de Paiva
[J]. Studia Logica, 2000, 65 (3) : 383 - 416
[3] On interpretation of intuitionistic logic
Kolmogoroff, A
[J]. MATHEMATISCHE ZEITSCHRIFT, 1932, 35 : 58 - 65
[4] INTUITIONISTIC LOGIC IN AN INTUITIONISTIC METALANGUAGE - INTUITIONISTICALLY PLAUSIBLE INTERPRETATION OF INTUITIONISTIC LOGIC
DESWART, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 130 - 131
[5] ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
WILLIAMSON, T
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (01) : 63 - 89
[6] INTUITIONISTIC TENSE AND MODAL LOGIC
EWALD, WB
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (01) : 166 - 179
[7] THE INTENDED INTERPRETATION OF INTUITIONISTIC LOGIC
WEINSTEIN, S
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (02) : 261 - 270
[8] Preface to intuitionistic modal logic 2017
de Paiva, Valeria
Artemov, Sergei
[J]. 1600, College Publications (08): : 2261 - 2263
[9] NEGATIVE POSSIBILITY IN INTUITIONISTIC MODAL LOGIC
FONT, JM
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 317 - 317
[10] PREFACE TO INTUITIONISTIC MODAL LOGIC 2017
De Paiva, Valeria
Artemov, Sergei
[J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2261 - 2263

← 1 2 3 4 5 →