Model Theory for the Higher Order Predicate Calculus
From MaRDI portal
Cites work
- Completeness in the theory of types
- scientific article; zbMATH DE number 3113497 (Why is no real title available?)
- Note on a problem of L. Henkin
- On absolute properties of relations
- On the metamathematics of algebra
- Some Interconnections Between Modern Algebra and Mathematical Logic
- The completeness of the first-order functional calculus
Cited in
(8)- The semantic view of theories and higher-order languages
- Essence and necessity
- A relational formulation of the theory of types
- When are different type-logical semantic definitions defining equivalent meanings?
- scientific article; zbMATH DE number 3259043 (Why is no real title available?)
- Context and the composition of meaning
- Typed object theory
- Simply-typed constant-domain modal lambda calculus. I: Distanced beta reduction and combinatory logic
This page was built for publication: Model Theory for the Higher Order Predicate Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3260562)
