On Reductions of Hintikka Sets for Higher-Order Logic
Steen, Alexander, Benzmüller, Christoph
–arXiv.org Artificial Intelligence
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.
arXiv.org Artificial Intelligence
Apr-16-2020