Sound and complete Gentzen deduction system for intermediate propositional logic

DOI10.13328/J.CNKI.JOS.004791MaRDI QIDQ2824401zbMATH OpenFDO

Authors Wujia Zhu, Wei Li, Yuefei Sui, Jie Luo

Publication date 6 October 2016

Published in Journal of Software (Search for Journal in Brave)

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

zbMATH Keywords

completenesscontradictorycontraryintermediate logicsoundness

Mathematics Subject Classification ID

Classical propositional logic (03B05) Intermediate logics (03B55)

Recommendations

• Proof systems for 3-valued logics based on Gödel's implication
• Natural deduction for three-valued regular logics
• scientific article; zbMATH DE number 4004159
• Sequent calculi for three-valued logics
• Three-valued propositional dynamic logic

Cited in

(4)

• Semantic interpretation of predicate calculus system of medium logic ME^* and its soundness and completeness
• A Gentzen system for conditional logic
• Gentzen-like systems for partial propositional calculi. I. II
• UNIFICATION IN INTERMEDIATE LOGICS

This page was built for publication: Sound and complete Gentzen deduction system for intermediate propositional logic

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