Aspects of Paraconsistent Logic
From MaRDI portal
Publication:4847373
DOI10.1093/jigpal/3.4.597zbMath0843.03014OpenAlexW2078596062MaRDI QIDQ4847373
Otávio Bueno, Jean-Yves Béziau, Newton C. A. Da Costa
Publication date: 20 September 1995
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/f13bf1d8c202570d0f9bf908ac2745f0b3f625ce
reasoningsequent calculusparaconsistent logicmedicinereplacement theorembivalent non-truth-functional semanticsextension of da Costa's system \(C_ 1\)
Related Items (13)
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Liberating paraconsistency from contradiction ⋮ The later Wittgenstein's guide to contradictions ⋮ Revisiting \(\mathbb Z\) ⋮ Inconsistency-tolerant temporal reasoning with hierarchical information ⋮ Efficient reasoning with inconsistent information using C-systems ⋮ Paraconsistent computation tree logic ⋮ Idempotent full paraconsistent negations are not algebraizable ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ On paraconsistent extensions of \(C_1\) ⋮ Paraconsistency and the need for infinite semantics ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ Policy-based inconsistency management in relational databases
This page was built for publication: Aspects of Paraconsistent Logic