Sound and complete Gentzen deduction system for intermediate propositional logic

DOI10.13328/J.CNKI.JOS.004791zbMATH Open1363.03012MaRDI QIDQ2824401FDOQ2824401

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

Publication date: 6 October 2016

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

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

zbMATH Keywords

completenessintermediate logicsoundnesscontrarycontradictory

Mathematics Subject Classification ID

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

Cited In (4)

• Gentzen-like systems for partial propositional calculi. I. II
• Semantic interpretation of predicate calculus system of medium logic \(ME^*\) and its soundness and completeness
• A Gentzen system for conditional logic
• 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)