Semantic investigation of canonical Gödel hypersequent systems

Ori Lahav

doi:10.1093/logcom/ext029

Semantic investigation of canonical Gödel hypersequent systems

Ori Lahav

School of Computer Science

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	337-360
Number of pages	24
Journal	Journal of Logic and Computation
Volume	26
Issue number	1
DOIs	https://doi.org/10.1093/logcom/ext029
State	Published - 14 Oct 2012

Keywords

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

Access to Document

10.1093/logcom/ext029

Cite this

@article{0ed09aa498b24ca6be42a1214a6401e5,

title = "Semantic investigation of canonical G{\"o}del hypersequent systems",

abstract = "We define a general family of hypersequent systems with well-behaved logical rules, of which the known hypersequent calculus for (propositional) G{\"o}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.",

keywords = "G{\"o}del logic, canonical systems, hypersequents, non-deterministic semantics, proof theory",

author = "Ori Lahav",

note = "Publisher Copyright: {\textcopyright} The Author, 2013.",

year = "2012",

month = oct,

day = "14",

doi = "10.1093/logcom/ext029",

language = "אנגלית",

volume = "26",

pages = "337--360",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "1",

}

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 - מאמר

AN - SCOPUS:84959900375

VL - 26

SP - 337

EP - 360

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 1

ER -

Semantic investigation of canonical Gödel hypersequent systems

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this