Intuitionistic sequent system with multiple succedent

zbMATH Open1227.03073MaRDI QIDQ3086705FDOQ3086705

Authors: María Fernanda Pallares 

Publication date: 30 March 2011

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

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)