Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic

DOI10.1007/978-3-642-36039-8_14zbMath1303.03052OpenAlexW1869581900MaRDI QIDQ2936238

Dirk Pattinson, Björn Lellmann

Publication date: 6 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1885/65952

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (5)

Mīmāṃsā Deontic Logic: Proof Theory and Applications ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Cut Elimination for Extended Sequent Calculi ⋮ The bounded proof property via step algebras and step frames

Uses Software

• Pesca

This page was built for publication: Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic