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

DOI10.1093/JIGPAL/JZU020zbMATH Open1405.03073arXiv1402.4172OpenAlexW2963419277MaRDI QIDQ4644501FDOQ4644501

Authors: Wenyan Xu 

Publication date: 8 January 2019

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

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.

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

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

zbMATH Keywords

computability logiccirquent calculusIF logic

Mathematics Subject Classification ID

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

Cited In (4)

• A cirquent calculus system with clustering and ranking
• Cirquent Calculus in a Nutshell
• A formal system for propositional extended IF logic
• 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)