LOGICAL CONNECTIVES FOR INTUITIONISTIC PROPOSITIONAL LOGIC

被引：13

|

作者：

MCCULLOUGH, DP

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1971年 / 36卷 / 01期

关键词：

D O I：

10.2307/2271511

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：15 / +

页数：1

相关论文

共 50 条

[1] A PROPOSITIONAL LOGIC OF TEMPORAL CONNECTIVES
Epstein, Richard L.
Buitrago-Diaz, Esperanza
LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (02) : 155 - 200
[2] INTUITIONISTIC LOGICAL CONNECTIVES ON LINEAR STRUCTURES
YASHIN, AD
MATHEMATICAL NOTES, 1984, 35 (5-6) : 348 - 355
[3] SEMANTIC CHARACTERIZATION OF INTUITIONISTIC LOGICAL CONNECTIVES
YASHIN, AD
MATHEMATICAL NOTES, 1985, 38 (1-2) : 600 - 606
[4] The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬
Wei Li
Yuefei Sui
Frontiers of Computer Science, 2017, 11 : 887 - 894
[5] COMPREHENSION OF LANGUAGE CONNECTIVES AND PROPOSITIONAL LOGICAL RELATIONSHIPS
PARIS, SG
JOURNAL OF EXPERIMENTAL CHILD PSYCHOLOGY, 1973, 16 (02) : 278 - 291
[6] Logic Programs with Propositional Connectives and Aggregates
Ferraris, Paolo
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2011, 12 (04) : 1 - 40
[7] A bounded translation of intuitionistic propositional logic into basic propositional logic
Aghaei, M
Ardeshir, M
MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 199 - 206
[8] The B4-valued propositional logic with unary logical connectives ∼1 / ∼2 /(sic)
Li, Wei
Sui, Yuefei
FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (05) : 887 - 894
[9] CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
Ishihara, Hajime
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03) : 1 - 7
[10] A CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL LOGIC
MUTI, N
NAGOYA MATHEMATICAL JOURNAL, 1970, 37 : 131 - &

← 1 2 3 4 5 →