On Reductions of Hintikka Sets for Higher-Order Logic

16 Apr 2020Alexander SteenChristoph Benzmüller

Steen's (2018) Hintikka set properties for Church's type theory based on primitive equality are reduced to the Hintikka set properties of Benzm\"uller, Brown and Kohlhase (2004) which are based on the logical connectives negation, disjunction and universal quantification...

PDF Abstract

Code


No code implementations yet. Submit your code now

Tasks


Results from the Paper


  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.