A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics
[chapter]
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
doi:10.1007/10722086_15
fatcat:fuzurxaihnedth2ib2fob2qkdq