On Reductions of Hintikka Sets for Higher-Order Logic

Abstract

Steen's (2018) Hintikka set properties for Church's type theory based on primitive equality are reduced to the Hintikka set properties of Brown (2007). Using this reduction, a model existence theorem for Steen's properties is derived.

10 pages; improved version

Cited by in corpus (1)

• Extensional Higher-Order Paramodulation in Leo-III