Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 11, Issue 2, pp. 283-294: Abstract.

Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models

Agata Ciabattoni

Institut für Algebra und Computermathematik, Technische Universitãt Wien, Wiedner Haupstrasse 8-10/118, A -1040 Wien, Austria. E-mail: agata@logic.tuwien.ac.at

In this paper we define cut-free 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 Bwk, by Kripke models of bounded cardinality Bck and by linearly ordered Kripke models of bounded cardinality Gk. The latter family of logics coincides with finite-valued Gödel logics. Our calculi turn out to be very simple and natural. Indeed, for each family of logics (respectively, Bwk, Bck and Gk), 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

  Full-Text PDF  (148 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2001.