Circumscription in a paraconsistent logic

被引：0

|

作者：

机构：

来源：

Ruan Jian Xue Bao | / 5卷 / 290期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] AUTOEPISTEMIC CIRCUMSCRIPTION AND LOGIC PROGRAMMING
YUAN, LY
YOU, JH
JOURNAL OF AUTOMATED REASONING, 1993, 10 (02) : 143 - 160
[42] BETWEEN CIRCUMSCRIPTION AND AUTOEPISTEMIC LOGIC
LIFSCHITZ, V
PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 235 - 244
[43] AN INFINIVALENT PARACONSISTENT SYSTEM OF DEONTIC LOGIC
PENA, L
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 335 - 336
[44] Paraconsistent Logic: Consistency, Contradiction and Negation
Rodrigues, Abilio
HISTORY AND PHILOSOPHY OF LOGIC, 2021, 42 (03) : 300 - 306
[45] PARACONSISTENT LOGIC - ITALIAN - GRANA,N
GORMLEY, L
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1987, 13 (04) : 361 - 363
[46] On a “most telling” argument for paraconsistent logic
Michaelis Michael
Synthese, 2016, 193 : 3347 - 3362
[47] CIRCUMSCRIPTION AND PROJECTION AS PRIMITIVES OF LOGIC PROGRAMMING
Wernhard, Christoph
TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 202 - 211
[48] Approximate inference in default logic and circumscription
Cadoli, Marco
Schaerf, Marco
Fundamenta Informaticae, 1994, 21 (1-2) : 103 - 112
[49] Proof Theory of Paraconsistent Quantum Logic
Norihiro Kamide
Journal of Philosophical Logic, 2018, 47 : 301 - 324
[50] A paraconsistent extension of Sylvan's logic
Gordienko, A. B.
ALGEBRA AND LOGIC, 2007, 46 (05) : 289 - 296

← 1 2 3 4 5 →