Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics [chapter]

Agata Ciabattoni, Mauro Ferrari
2000 Lecture Notes in Computer Science  
In this paper we investigate the tableau systems corresponding to hypersequent calculi. We call these systems hypertableau calculi. We define hypertableau calculi for some propositional intermediate logics. We then introduce path-hypertableau calculi which are simply defined by imposing additional structure on hypertableaux. Using pathhypertableaux we define analytic calculi for the intermediate logics Bd k , with k ≥ 1, which are semantically characterized by Kripke models of depth ≤ k. These
more » ... alculi are obtained by adding one more structural rule to the path-hypertableau calculus for Intuitionistic Logic.
doi:10.1007/10722086_15 fatcat:fuzurxaihnedth2ib2fob2qkdq