论文标题
关于减少高阶逻辑的Hintikka集
On Reductions of Hintikka Sets for Higher-Order Logic
论文作者
论文摘要
Steen（2018）基于原始平等的教堂类型理论的Hintikka设定属性降低到Brown（2007）的Hintikka Set属性。使用此还原，得出了Steen属性的模型存在定理。
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.
