首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
TOWARD A FORMALIZATION OF DIALECTICAL LOGIC
被引:0
|
作者
:
THOMASON, SK
论文数:
0
引用数:
0
h-index:
0
THOMASON, SK
机构
:
来源
:
JOURNAL OF SYMBOLIC LOGIC
|
1974年
/ 39卷
/ 01期
关键词
:
D O I
:
暂无
中图分类号
:
O1 [数学];
学科分类号
:
0701 ;
070101 ;
摘要
:
引用
收藏
页码:204 / 204
页数:1
相关论文
共 50 条
[1]
Proposal for the Formalization of Dialectical Logic
Luis Uso-Domenech, Jose
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Alicante, Dept Appl Math, Alicante 03690, Spain
Univ Alicante, Dept Appl Math, Alicante 03690, Spain
Luis Uso-Domenech, Jose
Antonio Nescolarde-Selva, Josue
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Alicante, Dept Appl Math, Alicante 03690, Spain
Univ Alicante, Dept Appl Math, Alicante 03690, Spain
Antonio Nescolarde-Selva, Josue
Segura-Abad, Lorena
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Alicante, Dept Math, Alicante 03690, Spain
Univ Alicante, Dept Appl Math, Alicante 03690, Spain
Segura-Abad, Lorena
[J].
MATHEMATICS,
2016,
4
(04)
[2]
FORMALIZATION OF HEGELS DIALECTICAL LOGIC - ITS FORMAL STRUCTURE, LOGICAL INTERPRETATION AND INTUITIVE FOUNDATION
KOSOK, M
论文数:
0
引用数:
0
h-index:
0
机构:
FAIRLEIGH DICKINSON,RUTHERFORD,NJ
FAIRLEIGH DICKINSON,RUTHERFORD,NJ
KOSOK, M
[J].
INTERNATIONAL PHILOSOPHICAL QUARTERLY,
1966,
6
(04)
: 596
-
631
[3]
DIALECTICAL LOGIC
BALLESTREM, KG
论文数:
0
引用数:
0
h-index:
0
BALLESTREM, KG
[J].
STUDIES IN SOVIET THOUGHT,
1965,
5
(03):
: 139
-
172
[4]
DIALECTICAL LOGIC
ROZENTAL, M
论文数:
0
引用数:
0
h-index:
0
ROZENTAL, M
[J].
KOMMUNIST,
1960,
(11):
: 27
-
38
[5]
Toward Formalization and Monitoring of Microscopic Traffic Parameters Using Temporal Logic
Nour, Mariam
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Cent Florida, Dept Civil Environm & Construct Engn, Orlando, FL 32816 USA
Univ Cent Florida, Dept Civil Environm & Construct Engn, Orlando, FL 32816 USA
Nour, Mariam
论文数:
引用数:
h-index:
机构:
Zaki, Mohamed H.
[J].
TRANSPORTATION RESEARCH RECORD,
2022,
[6]
LOGIC AND FORMALIZATION OF MATHEMATICS
MELTZER, B
论文数:
0
引用数:
0
h-index:
0
MELTZER, B
[J].
SCIENCE PROGRESS,
1967,
55
(220)
: 583
-
&
[7]
FORMALIZATION IN PHILOSOPHICAL LOGIC
JACQUETTE, D
论文数:
0
引用数:
0
h-index:
0
JACQUETTE, D
[J].
MONIST,
1994,
77
(03):
: 358
-
375
[8]
Formalization and the objects of logic
Brun, Georg
论文数:
0
引用数:
0
h-index:
0
机构:
ETH, Inst Environm Decis, CH-8092 Zurich, Switzerland
ETH, Inst Environm Decis, CH-8092 Zurich, Switzerland
Brun, Georg
[J].
ERKENNTNIS,
2008,
69
(01)
: 1
-
30
[9]
Formalization and the Objects of Logic
Georg Brun
论文数:
0
引用数:
0
h-index:
0
机构:
ETH Zürich,Institute for Environmental Decisions
Georg Brun
[J].
Erkenntnis,
2008,
69
: 1
-
30
[10]
THE RELATION OF DIALECTICAL LOGIC TO MATHEMATICAL LOGIC
HAVASOVA, KG
论文数:
0
引用数:
0
h-index:
0
HAVASOVA, KG
[J].
FILOSOFICKY CASOPIS,
1985,
33
(03):
: 460
-
466
←
1
2
3
4
5
→