On Reductions of Hintikka Sets for Higher-Order Logic

04/16/2020
by   Alexander Steen, et al.
0

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

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset