Categorical consequence for paraconsistent logic

被引：0

作者：

Johnson, F ^{[1
]}

Woodruff, PW ^{[1
]}

机构：

[1] Colorado State Univ, Ft Collins, CO 80523 USA

来源：

PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT | 2002年 / 228卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Consequence relations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion categorical consequence relations.

引用

页码：141 / 150

页数：10

共 50 条

[31] On a Suggested Logic for Paraconsistent Mathematics
Slaney, John
AUSTRALASIAN JOURNAL OF LOGIC, 2025, 22 (02)
[32] Paraconsistent Logic, Evidence, and Justification
Melvin Fitting
Studia Logica, 2017, 105 : 1149 - 1166
[33] Paraconsistent Computation Tree Logic
Ken Kaneiwa
Norihiro Kamide
New Generation Computing, 2011, 29 (4) : 391 - 408
[34] The Paraconsistent Logic of Quantum Superpositions
N. da Costa
C. de Ronde
Foundations of Physics, 2013, 43 : 845 - 858
[35] Frontiers of paraconsistent logic.
Asenjo, FG
HISTORY AND PHILOSOPHY OF LOGIC, 2000, 21 (03) : 245 - 247
[36] Symmetric Paraconsistent Quantum Logic
Kamide, Norihiro
2021 IEEE 51ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2021), 2021, : 26 - 32
[37] Leibnizian Identity and Paraconsistent Logic
Abasnezhad, Ali
HISTORY AND PHILOSOPHY OF LOGIC, 2020, 41 (03) : 236 - 243
[38] Many valued paraconsistent logic
Morgan, CG
31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 267 - 272
[39] A Logic for Paraconsistent Transition Systems
Cruz, Ana
Madeira, Alexandre
Barbosa, Luis Soares
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (358): : 270 - 284
[40] AN INFINIVALENT PARACONSISTENT SYSTEM OF DEONTIC LOGIC
PENA, L
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 335 - 336

← 1 2 3 4 5 →