A propositional system induced by Japaridze's approach to IF logic

DOI10.1093/JIGPAL/JZU020MaRDI QIDQ4644501zbMATHOpenAlexFDO

Authors Wenyan Xu

Publication date 8 January 2019

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

Full work available at URL https://arxiv.org/abs/1402.4172

zbMATH Keywords

computability logiccirquent calculusIF logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03)

Abstract: Cirquent calculus is a new proof-theoretic and semantic approach introduced for the needs of computability logic by G.Japaridze, who also showed that, through cirquent calculus, one can capture, refine and generalize independence-friendly (IF) logic. Specifically, the approach allows us to account for independence from propositional connectives in the same spirit as the traditional IF logic accounts for independence from quantifiers. Japaridze's treatment of IF logic, however, was purely semantical, and no deductive system was proposed. The present paper constructs a formal system sound and complete w.r.t. the propositional fragment of Japaridze's cirquent-based semantics for IF logic. Such a system can thus be considered an axiomatization of purely propositional IF logic in its full generality.

Recommendations

• A formal system for propositional extended IF logic
• scientific article; zbMATH DE number 3069861
• A Gentzen system for conditional logic
• scientific article; zbMATH DE number 1191233
• The predicate version of the joint logic of problems and propositions
• A propositional calculus for inconsistent deductive systems
• Quasi-truth-functional systems of propositional logic
• A proof-search procedure for intuitionistic propositional logic
• Proof Systems for Effectively Propositional Logic
• scientific article; zbMATH DE number 6478753

Cited in

(4)

• Cirquent Calculus in a Nutshell
• A formal system for propositional extended IF logic
• A cirquent calculus system with clustering and ranking
• A propositional cirquent calculus for computability logic.

This page was built for publication: A propositional system induced by Japaridze's approach to IF logic

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