Proof theory and mathematical meaning of paraconsistent C-systems

DOI10.1016/J.JAL.2011.04.001MaRDI QIDQ420832zbMATH OpenOpenAlexFDO

Authors Paolo Gentilini

Publication date 23 May 2012

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2011.04.001

zbMATH Keywords

proof theoryparaconsistent logicarithmetical semanticsclassical provability logic of PA as a model of paraconsistencyfoundations of constructive paraconsistent mathematics

Mathematics Subject Classification ID

Paraconsistent logics (03B53) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Paraconsistency and the C-systems of da Costa
• Paraconsistent arithmetic with a local consistency operator and global selfreference
• scientific article; zbMATH DE number 2019859
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Proving contradictions in formal theories. I

Cites work

• scientific article; zbMATH DE number 5997429 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 782632 (Why is no real title available?)
• Anti-intuitionism and paraconsistency
• Dual-intuitionistic logic
• Handbook of proof theory
• Inconsistent models for relevant arithmetics
• LK, LJ, dual intuitionistic logic, and quantum logic
• Limits for paraconsistent calculi
• Logics of formal inconsistency
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• On the theory of inconsistent formal systems
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
• Paraconsistent arithmetic with a local consistency operator and global selfreference
• Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework
• Proof theory. 2nd ed
• Proof-theoretic modal PA-completeness. I: A system-sequent metric
• Proof-theoretic modal PA-completeness. II: The syntactic countermodel
• Proof-theoretic modal PA-completeness. III: The syntactic proof

Cited in

(6)

• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 910431 (Why is no real title available?)
• Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework
• The Interpretation Lifting Theorem for C-Systems
• A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic
• Efficient reasoning with inconsistent information using C-systems

This page was built for publication: Proof theory and mathematical meaning of paraconsistent C-systems

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