Semantic investigation of canonical Gödel hypersequent systems

Research output: Contribution to journalArticlepeer-review

Abstract

We define a general family of hypersequent systems with well-behaved logical rules, of which the known hypersequent calculus for (propositional) Gödel logic, is a particular instance. We present a method to obtain (possibly, non-deterministic) many-valued semantics for every system of this family. The detailed semantic analysis provides simple characterizations of cut-admissibility and axiom-expansion for the systems of this family.

Original languageEnglish
Pages (from-to)337-360
Number of pages24
JournalJournal of Logic and Computation
Volume26
Issue number1
DOIs
StatePublished - 14 Oct 2012

Keywords

  • Gödel logic
  • canonical systems
  • hypersequents
  • non-deterministic semantics
  • proof theory

Fingerprint

Dive into the research topics of 'Semantic investigation of canonical Gödel hypersequent systems'. Together they form a unique fingerprint.

Cite this