A formal system for propositional extended IF logic

DOI10.13328/J.CNKI.JOS.004705MaRDI QIDQ2993257zbMATH OpenFDO

Authors Wenyan Xu

Publication date 10 August 2016

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004705

zbMATH Keywords

cirquent calculuscomputability logicextended IF logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Structure of proofs (03F07)

Recommendations

• A propositional system induced by Japaridze's approach to IF logic
• On the computational consequences of independence in propositional logic
• scientific article; zbMATH DE number 1078592
• Propositional logics of dependence
• Logics for propositional determinacy and independence

Cited in

(5)

• An inference system of an extension of Floyd-Hoare logic for partial predicates
• On the computational consequences of independence in propositional logic
• A logic for extensional protocols
• Independence-friendly cylindric set algebras
• A propositional system induced by Japaridze's approach to IF logic

This page was built for publication: A formal system for propositional extended IF logic

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