Abstract | ||
---|---|---|
We prove that the extension of the known hypersequent calculus for standard first-order Gödel logic with usual rules for second-order quantifiers is sound and (cut-free) complete for Henkin-style semantics for second-order Gödel logic. The proof is semantic, and it is similar in nature to Schütte and Tait's proof of Takeuti's conjecture. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.fss.2015.01.017 | Fuzzy Sets and Systems |
Keywords | Field | DocType |
Proof theory,Cut-admissibility,Second-order logic,Non-classical logics,Fuzzy logics,Gödel logic,Non-deterministic semantics | Discrete mathematics,Natural deduction,Proof calculus,Structural proof theory,Proof theory,Zeroth-order logic,Noncommutative logic,Many-valued logic,Mathematics,Higher-order logic,Calculus | Journal |
Volume | Issue | ISSN |
276 | C | 0165-0114 |
Citations | PageRank | References |
1 | 0.35 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ori Lahav | 1 | 252 | 23.53 |
Arnon Avron | 2 | 1292 | 147.65 |