Authors
Rajeev Goré, Linda Postniece, Alwen Tiu
Publication date
2008/10/2
Journal
Advances in Modal Logic
Volume
7
Pages
43-66
Description
• Rauszer’s cut-elimination fails (Uustalu 2006)• Some proofs require cut rule (bad for proof-search)• Crolard’s calculus uses cuts (Crolard 2001)• Goré’s display calculus is not suitable for proof-search• Unrestricted display postulates• Unrestricted general contraction• Labelled sequent calculus (Uustalu, Pinto 2006, no details)
Total citations
Scholar articles
R Goré, L Postniece, A Tiu - Advances in Modal Logic, 2008