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

paraconsistent logicreasoningsequent calculusmedicinereplacement theorembivalent non-truth-functional semanticsextension of da Costa's system \(C_ 1\)

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

(42)

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

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)