Limits for paraconsistent calculi

DOI10.1305/NDJFL/1022615617zbMATH Open1007.03028DBLPjournals/ndjfl/CarnielliM99OpenAlexW2070036413WikidataQ61593393 ScholiaQ61593393MaRDI QIDQ701299FDOQ701299

Authors: João Marcos, Walter 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

Recommendations

• Paraconsistency and Sette's calculus P1
• Limit computability and ultrafilters
• Limit ultrapowers and abstract logics
• A sequent calculus for limit computable mathematics
• Consistency and decidability in some paraconsistent arithmetics
• scientific article; zbMATH DE number 4091467
• Limit computability and constructive measure
• scientific article; zbMATH DE number 4187775
• Some paraconsistent sentential calculi
• scientific article; zbMATH DE number 3875243

zbMATH Keywords

decision procedureda Costa's hierarchydeductive limitspossible-translation semantics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

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

Cited In (25)

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

This page was built for publication: Limits for paraconsistent calculi

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