@article{5db75f98951444e5bc2e4f43c84e4416,

title = "A semantic proof of strong cut-admissibility for first-order G{\"o}del logic",

abstract = "We provide a constructive direct semantic proof of the completeness of the cut-free part of the hypersequent calculus HIF for the standard first-order G{\"o}del logic (thereby proving both completeness of the calculus for its standard semantics, and the admissibility of the cut rule in the full calculus). The results also apply to derivations from assumptions (or 'non-logical axioms'), showing in particular that when the set of assumptions is closed under substitutions, then cuts can be confined to formulas occurring in the assumptions. The methods and results are then extended to handle the (Baaz) Delta connective as well.",

keywords = "Cut-admissibility, First order G{\"o}del logic, Fuzzy logic, Hypersequents, Intermediate logic, Non-classical logic, Proof-theory, Semantic proof",

author = "Ori Lahav and Arnon Avron",

note = "Funding Information: This research was supported by The Israel Science Foundation (grant no. 280-10).",

year = "2013",

month = feb,

doi = "10.1093/logcom/exs006",

language = "אנגלית",

volume = "23",

pages = "59--86",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "1",

}