TY - JOUR
T1 - Semantic investigation of canonical Gödel hypersequent systems
AU - Lahav, Ori
N1 - Publisher Copyright:
© The Author, 2013.
PY - 2012/10/14
Y1 - 2012/10/14
N2 - 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.
AB - 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.
KW - Gödel logic
KW - canonical systems
KW - hypersequents
KW - non-deterministic semantics
KW - proof theory
UR - http://www.scopus.com/inward/record.url?scp=84959900375&partnerID=8YFLogxK
U2 - 10.1093/logcom/ext029
DO - 10.1093/logcom/ext029
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84959900375
SN - 0955-792X
VL - 26
SP - 337
EP - 360
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 1
ER -