ALGEBRAIC PROPERTIES OF THE SPACE OF MULTIVALUED AND PARACONSISTENT LOGIC PROGRAMS

被引：0

作者：

SUBRAHMANIAN, VS

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：56 / 67

页数：12

共 50 条

[31] LINDENBAUM-ALGEBRAIC SEMANTICS OF LOGIC PROGRAMS
WAGNER, G
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 619 : 80 - 91
[32] Paraconsistent classical logic
Brown, B
PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT, 2002, 228 : 95 - 107
[33] Differential-algebraic Dynamic Logic for Differential-algebraic Programs
Platzer, Andre
JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 309 - 352
[34] AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC C1 AND SOME OF ITS PARACONSISTENT EXTENSIONS
Albuquerque, Hugo
Caleiro, Carlos
BULLETIN OF SYMBOLIC LOGIC, 2022, 28 (04) : 477 - 528
[35] ALGEBRAIC METHOD FOR DESIGNING MULTIVALUED LOGIC CIRCUITS USING PRINCIPALLY BINARY COMPONENTS
BIRK, JE
FARMER, DE
IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (11) : 1101 - 1104
[36] Total unbiased multivalued paraconsistent semantics of database integrity
Decker, H
Sixteenth International Workshop on Database and Expert Systems Applications, Proceedings, 2005, : 813 - 817
[37] Paraconsistent logic vs. Meinongian logic
Pasniczek, J
PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT, 2002, 228 : 523 - 534
[38] On the Paraconsistent Logic CG′3
Perez-Gaspar, Miguel
Borja Macias, Veronica
Barcenas, Everardo
COMPUTACION Y SISTEMAS, 2021, 25 (02): : 435 - 445
[39] Laws of Form and Paraconsistent Logic
Van Bendegem, Jean Paul
CONSTRUCTIVIST FOUNDATIONS, 2017, 13 (01): : 21 - 22
[40] Paraconsistent ideas in quantum logic
Dalla Chiara, ML
Giuntini, R
SYNTHESE, 2000, 125 (1-2) : 55 - 68