首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
A REMARK ON PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS
被引:1
|
作者
:
ARAI, Y
论文数:
0
引用数:
0
h-index:
0
ARAI, Y
TANAKA, S
论文数:
0
引用数:
0
h-index:
0
TANAKA, S
机构
:
来源
:
PROCEEDINGS OF THE JAPAN ACADEMY
|
1966年
/ 42卷
/ 09期
关键词
:
D O I
:
10.3792/pja/1195521804
中图分类号
:
O [数理科学和化学];
P [天文学、地球科学];
Q [生物科学];
N [自然科学总论];
学科分类号
:
07 ;
0710 ;
09 ;
摘要
:
引用
收藏
页码:1056 / &
相关论文
共 50 条
[21]
Basic propositional calculus I
Ardeshir, M
论文数:
0
引用数:
0
h-index:
0
机构:
Sharif Univ Technol, Dept Math, Tehran, Iran
Ardeshir, M
Ruitenburg, W
论文数:
0
引用数:
0
h-index:
0
机构:
Sharif Univ Technol, Dept Math, Tehran, Iran
Ruitenburg, W
MATHEMATICAL LOGIC QUARTERLY,
1998,
44
(03)
: 317
-
343
[22]
FUNCTION ALGEBRA AND PROPOSITIONAL CALCULUS
LERCHER, B
论文数:
0
引用数:
0
h-index:
0
LERCHER, B
JOURNAL OF SYMBOLIC LOGIC,
1966,
31
(02)
: 272
-
&
[23]
Computational structure for the propositional calculus
1600,
Morgan Kaufmann Publ Inc, San Mateo, CA, USA
(01):
[24]
THE PRIZ SYSTEM AND PROPOSITIONAL CALCULUS
VOLOZH, BB
论文数:
0
引用数:
0
h-index:
0
VOLOZH, BB
MATSKIN, MB
论文数:
0
引用数:
0
h-index:
0
MATSKIN, MB
MINTS, GE
论文数:
0
引用数:
0
h-index:
0
MINTS, GE
TYUGU, EK
论文数:
0
引用数:
0
h-index:
0
TYUGU, EK
CYBERNETICS,
1982,
18
(06):
: 777
-
788
[25]
Metalogic of Intuitionistic Propositional Calculus
Citkin, Alex
论文数:
0
引用数:
0
h-index:
0
机构:
Metropolitan Telecommun, New York, NY 10041 USA
Metropolitan Telecommun, New York, NY 10041 USA
Citkin, Alex
NOTRE DAME JOURNAL OF FORMAL LOGIC,
2010,
51
(04)
: 485
-
502
[26]
PARACONSISTENT INFINITARY PROPOSITIONAL CALCULUS
LUNGARZO, C
论文数:
0
引用数:
0
h-index:
0
LUNGARZO, C
JOURNAL OF SYMBOLIC LOGIC,
1978,
43
(02)
: 359
-
359
[27]
INTUITIONISTIC PROPOSITIONAL CALCULUS WITH QUANTIFIERS
SOBOLEV, SK
论文数:
0
引用数:
0
h-index:
0
SOBOLEV, SK
MATHEMATICAL NOTES,
1977,
22
(1-2)
: 528
-
532
[28]
AN ALGEBRA RELATED WITH A PROPOSITIONAL CALCULUS
ISEKI, K
论文数:
0
引用数:
0
h-index:
0
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY,
1966,
42
(01):
: 26
-
&
[29]
SIMULATION OF PROBLEMS IN PROPOSITIONAL CALCULUS
RAO, VVB
论文数:
0
引用数:
0
h-index:
0
机构:
North Dakota State Univ, United States
RAO, VVB
SIMULATION,
1988,
51
(04)
: 163
-
164
[30]
Undecidable Iterative Propositional Calculus
Bokov, G. V.
论文数:
0
引用数:
0
h-index:
0
机构:
Moscow MV Lomonosov State Univ, Moscow 119992, Russia
Moscow MV Lomonosov State Univ, Moscow 119992, Russia
Bokov, G. V.
ALGEBRA AND LOGIC,
2016,
55
(04)
: 274
-
282
←
1
2
3
4
5
→