Hypersequent calculi for Godel logics - a survey
Hypersequent calculi arise by generalizing standard sequent calculi to refer to whole contexts of sequents instead of single sequents. We present a number of results using hypersequents to obtain a Gentzen-style characterization for the family of Godel logics. We first describe analytic calculi for propositional finite and infinite-valued Godel logics. We then show that the framework of hypersequents allows one to move straightforwardly from the propositional level to first-order as well as propositional quantification. A certain type of modality, enhancing the expressive power of Godel logic, is also considered.
hypersequents godel logics cut-elimination quantifiers delta modality