TOWARD A FORMALIZATION OF DIALECTICAL LOGIC

被引：0

|

作者：

THOMASON, SK

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：204 / 204

页数：1

相关论文

共 50 条

[41] CATEGORY OF CONTRADICTION IN THE DIALECTICAL LOGIC
NARSKI, IS
[J]. DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1967, 15 (11): : 1307 - 1318
[42] Formalization of argument accrual: Acceptability semantics and dialectical proof procedure
Gomez Lucero, Mauro J.
[J]. AI COMMUNICATIONS, 2013, 26 (04) : 413 - 415
[43] Toward a formalization of OO analysis
Odell, J
Ramackers, G
[J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1997, 10 (04): : 64 - 68
[44] THE POSSIBILITY OF A FORMALIZATION OF THE ARISTOTELIAN LOGIC OF ENTHYMEMES
PLEBE, A
[J]. REVUE INTERNATIONALE DE PHILOSOPHIE, 1993, 47 (184) : 70 - 77
[45] A FORMALIZATION OF KANT'S TRANSCENDENTAL LOGIC
Achourioti, T.
Van Lambalgen, M.
[J]. REVIEW OF SYMBOLIC LOGIC, 2011, 4 (02): : 254 - 289
[46] THE FORMALIZATION OF ARITHMETIC IN A LOGIC OF MEANING CONTAINMENT
Brady, Ross T.
[J]. AUSTRALASIAN JOURNAL OF LOGIC, 2021, 18 (05) : 447 - 472
[47] PROOF, LOGIC AND FORMALIZATION - DETLEFSEN,M
LARVOR, B
[J]. INTERNATIONAL JOURNAL OF PHILOSOPHICAL STUDIES, 1994, 2 (01) : 149 - 151
[48] AN EQUIVALENT FORMALIZATION OF THE LOGIC OF FEFERMAN AND ACZEL
KUHNRICH, M
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (06): : 565 - 568
[49] PROOF, LOGIC AND FORMALIZATION - DETLEFSEN,M
HEINZMANN, G
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 1994, 15 (01) : 138 - 142
[50] Formalization of the General Hoare Logic Laws
Kupusinac, Aleksandar
Malbaski, Dusan
[J]. TEM JOURNAL-TECHNOLOGY EDUCATION MANAGEMENT INFORMATICS, 2012, 1 (03): : 145 - 150

← 1 2 3 4 5 →