The principle of reflection via nested sequents

MaRDI QIDQ5354805zbMATH OpenFDO

Authors Hidenori Kurokawa

Publication date 4 September 2017

zbMATH Keywords

basic propositional logicnested sequentsprinciple of reflectionproof theoretic semanticsstrict implicationsubstructural logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Nested sequents for intuitionistic logics
• On nested sequents for constructive modal logics
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Sequentialising nested systems
• Nested sequent calculi for conditional logics

Cited in

(3)

• Generalized definitional reflection and the inversion principle
• Remarks on Stable Formulas in Intuitionistic Logic
• Reflecting rules: a note on generalizing the deduction theorem

This page was built for publication: The principle of reflection via nested sequents

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