scientific article; zbMATH DE number 6769439

zbMATH Open1379.03016MaRDI QIDQ5354805FDOQ5354805

Hidenori Kurokawa

Publication date: 4 September 2017

Title of this publication is not available (Why is that?)

zbMATH Keywords

substructural logicnested sequentsstrict implicationbasic propositional logicproof theoretic semanticsprinciple of reflection

Mathematics Subject Classification ID

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

Cited In (3)

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

This page was built for publication:

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