We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Hypersequent Calculi for Gödel Logics — a Survey.
- Authors
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
- Abstract
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 Gödel logics. We first describe analytic calculi for propositional finite and infinite-valued Gödel 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 Gödel logic, is also considered.
- Subjects
MATHEMATICAL logic; SEQUENTIAL analysis; PROPOSITION (Logic); PROOF theory; COMPUTER logic; MATHEMATICAL proofs
- Publication
Journal of Logic & Computation, 2003, Vol 13, Issue 6, p835
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/13.6.835