Reflections on a Theorem of Henkin

DOI10.1007/978-3-319-09719-0_14zbMath1330.03034OpenAlexW115354277MaRDI QIDQ3454814

William Gunther, Richard Statman

Publication date: 27 November 2015

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09719-0_14

zbMATH Keywords

typesfirst-order logicdescription operatorlambda calculustype theorytyped lambda calculussimply typed lambda calculusHenkin semanticsclassical type theorydelta discriminatorlambda-delta calculustyped lambda calculus semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Completeness, invariance and λ-definability
• A theory of prepositional types
• General models, descriptions, and choice in type theory
• Handbook of philosophical logic. Vol. 1.

This page was built for publication: Reflections on a Theorem of Henkin