Intuitionistic sequent system with multiple succedent

MaRDI QIDQ3086705zbMATH OpenFDO

Authors María Fernanda Pallares

Publication date 30 March 2011

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Recommendations

• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• On intuitionistic many-valued logics
• Gentzen sequent calculi for some intuitionistic modal logics
• Intuitionistic sequent calculi for finitely many-valued logics
• Continuing Variations on a System of Gentzen

Cited in

(1)

• scientific article; zbMATH DE number 1163926 (Why is no real title available?)

This page was built for publication: Intuitionistic sequent system with multiple succedent

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