On Reductions of Hintikka Sets for Higher-Order Logic
arXiv:2004.07506v32 citations
AI Analysis
This work addresses a theoretical problem in higher-order logic for logicians and formal verification researchers, but it appears incremental as it builds directly on prior results.
The paper reduces Steen's (2018) Hintikka set properties for Church's type theory to Brown's (2007) properties, enabling the derivation of a model existence theorem for Steen's framework.
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.