Aspects of Paraconsistent Logic

DOI10.1093/JIGPAL/3.4.597MaRDI QIDQ4847373zbMATH OpenOpenAlexFDO

Authors Jean-Yves Béziau, Otávio Bueno, N. C. A. da Costa

Publication date 20 September 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/f13bf1d8c202570d0f9bf908ac2745f0b3f625ce

zbMATH Keywords

bivalent non-truth-functional semanticsextension of da Costa's system \(C_ 1\)medicineparaconsistent logicreasoningreplacement theoremsequent calculus

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• On paraconsistent extensions of C₁
• Paraconsistency and the C-systems of da Costa
• scientific article; zbMATH DE number 4132131
• scientific article; zbMATH DE number 551010
• scientific article; zbMATH DE number 1749147

Cited in

(44)

• Phase semantics and Petri net interpretation for resource-sensitive strong negation
• Paraconsistent logic and model theory
• Paraconsistent fuzzy logic preserving non-falsity
• Inconsistency-tolerant temporal reasoning with hierarchical information
• Paraconsistent computation tree logic
• Paraconsistent logic from a modal viewpoint
• Anti-intuitionism and paraconsistency
• Paraconsistent orbits of logics
• Distance-based paraconsistent logics
• Paraconsistency and the need for infinite semantics
• Policy-based inconsistency management in relational databases
• Revisiting \(\mathbb Z\)
• On paraconsistent extensions of C₁
• Paraconsistent logic
• The later Wittgenstein's guide to contradictions
• C₁-compatible transitive extensions of system CT
• Paraconsistency in hybrid logic
• scientific article; zbMATH DE number 4135918 (Why is no real title available?)
• scientific article; zbMATH DE number 4142014 (Why is no real title available?)
• A paraconsistent extension of Sylvan’s logic
• scientific article; zbMATH DE number 4025408 (Why is no real title available?)
• scientific article; zbMATH DE number 605207 (Why is no real title available?)
• scientific article; zbMATH DE number 1950746 (Why is no real title available?)
• scientific article; zbMATH DE number 1749147 (Why is no real title available?)
• scientific article; zbMATH DE number 1778912 (Why is no real title available?)
• scientific article; zbMATH DE number 3993535 (Why is no real title available?)
• scientific article; zbMATH DE number 823609 (Why is no real title available?)
• scientific article; zbMATH DE number 859797 (Why is no real title available?)
• scientific article; zbMATH DE number 910430 (Why is no real title available?)
• SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
• On the system CB^1 and a lattice of the paraconsistent calculi
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
• A note on Ciuciura's \(\mathbf{mbC}^1\)
• Towards an efficient prover for the \(C_1\) paraconsistent logic
• Da Costa meets Belnap and Nelson
• Efficient reasoning with inconsistent information using C-systems
• scientific article; zbMATH DE number 5050044 (Why is no real title available?)
• scientific article; zbMATH DE number 2213620 (Why is no real title available?)
• Idempotent full paraconsistent negations are not algebraizable
• A constructive proof of the Craig's interpolation theorem for \textbf{QCiore}
• From Jaśkowski's discussive logic to contemporary paraconsistent systems
• Proof-theoretic aspects of paraconsistency with strong consistency operator
• Gently paraconsistent extensions of C₁, intuitionistic implication, De Morgan laws, and the law of non-contradiction
• Liberating paraconsistency from contradiction

This page was built for publication: Aspects of Paraconsistent Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4847373)