scientific article; zbMATH DE number 6290306
From MaRDI portal
Publication:5413334
zbMath1287.03046MaRDI QIDQ5413334
Publication date: 29 April 2014
Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/41_12_10.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Interpolation Method for Multicomponent Sequent Calculi ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Cut Elimination Theorem for Non-Commutative Hypersequent Calculus ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ Eliminability of cut in hypersequent calculi for some modal logics of linear frames ⋮ Machine-Checked Proof-Theory for Propositional Modal Logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Unnamed Item ⋮ The bounded proof property via step algebras and step frames ⋮ CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D
This page was built for publication: