Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
Alessandro Avellone · Logic Journal of IGPL · 1999
We get cut-free sequent calculi for the interpolable propositional intermediate logics by translating suitable duplication-free tableau calculi developed within a semantical framework. From this point of view, the paper also provides semantical proofs of the admissibility of the cut-rule for appropriate cut-free sequent calculi. Key words: propositional intermediate logics, tableau systems, cut-free sequent calculi, duplication