@article{f4601238e4234502a8db67d468a4df4b,
title = "A cut-free calculus for second-order G{\"o}del logic",
abstract = "Abstract We prove that the extension of the known hypersequent calculus for standard first-order G{\"o}del logic with usual rules for second-order quantifiers is sound and (cut-free) complete for Henkin-style semantics for second-order G{\"o}del logic. The proof is semantic, and it is similar in nature to Sch{\"u}tte and Tait's proof of Takeuti's conjecture.",
keywords = "Cut-admissibility, Fuzzy logics, G{\"o}del logic, Non-classical logics, Non-deterministic semantics, Proof theory, Second-order logic",
author = "Ori Lahav and Arnon Avron",
note = "Publisher Copyright: {\textcopyright} 2015 Elsevier B.V.",
year = "2015",
month = oct,
day = "1",
doi = "10.1016/j.fss.2015.01.017",
language = "אנגלית",
volume = "276",
pages = "1--30",
journal = "Fuzzy Sets and Systems",
issn = "0165-0114",
publisher = "Elsevier B.V.",
}