Limits for paraconsistent calculi

DOI10.1305/ndjfl/1022615617zbMath1007.03028OpenAlexW2070036413WikidataQ61593393 ScholiaQ61593393MaRDI QIDQ701299

João Marcos, Walter Alexandre Carnielli

Publication date: 27 March 2003

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1022615617

zbMATH Keywords

decision procedureda Costa's hierarchydeductive limitspossible-translation semantics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

Paraconsistent logic, AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS, A lattice of the paracomplete calculi, Paraconsistency properties in degree-preserving fuzzy logics, Proof theory and mathematical meaning of paraconsistent C-systems, Revisiting \(\mathbb Z\), Weakening and extending \(\mathbb{Z}\), New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency, A hierarchy of weak double negations, Paraconsistent informational logic, Anti-intuitionism and paraconsistency, On negation: Pure local rules, A single proof of classical behaviour in da Costa's \(C_n\) systems, On paraconsistent extensions of \(C_1\), Modulated fibring and the collapsing problem, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework, Possible-translations semantics for some weak classically-based paraconsistent logics, A family of genuine and non-algebraisable C-systems, On the system CB1 and a lattice of the paraconsistent calculi, Finite two-dimensional proof systems for non-finitely axiomatizable logics, On Axioms and Rexpansions, Credal Calculi, Evidence, and Consistency, A non-deterministic view on non-classical negations

Cites Work

• Zooming in, zooming out
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• Paraconsistent logic and model theory
• Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
• A semantical analysis of the calculi \(C_n\)
• Maximal weakly-intuitionistic logics
• Propositional calculus for contradictory deductive systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item