Journal of Logic and Computation, Volume 11, Issue 2, pp. 283294: Abstract.
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke ModelsAgata Ciabattoni^{} ^{}Institut für Algebra und Computermathematik, Technische Universitãt Wien, Wiedner Haupstrasse 810/118, A 1040 Wien, Austria. Email: agata@logic.tuwien.ac.at
In this paper we define cutfree hypersequent calculi for some intermediate logics semantically characterized by bounded Kripke models. In particular we consider the logics characterized by Kripke models of bounded width Bw_{k}, by Kripke models of bounded cardinality Bc_{k} and by linearly ordered Kripke models of bounded cardinality G_{k}. The latter family of logics coincides with finitevalued Gödel logics. Our calculi turn out to be very simple and natural. Indeed, for each family of logics (respectively, Bw_{k}, Bc_{k} and G_{k}), they are defined by adding just one structural rule to a common system, namely the hypersequent calculus for Intuitionistic Logic. This structural rule reflects in a natural way the characteristic semantical features of the corresponding logic.
Keywords: Hypersequent calculi, intermediate logics, finite, valued Gö, del logics
