Henkin semantics

E2024332 UNEXPLORED

Henkin semantics is a generalized approach to the semantics of higher-order logic that uses nonstandard models to prove completeness theorems.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
Henkin semantics canonical 1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Leon Henkin → knownFor → Henkin semantics ⓘ
subject linked to: Henkin