Cut-free sequent calculi for logics characterized by finite linear Kripke frames

DOI10.1093/JIGPAL/JZX007zbMath1492.03018OpenAlexW2622216550MaRDI QIDQ5095625

Naosuke Matsuda

Publication date: 10 August 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzx007

zbMATH Keywords

sequent calculusKripke semanticssuperintuitionistic logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Cut-free sequent calculi for logics characterized by finite linear Kripke frames