Pages that link to "Item:Q1073008"
From MaRDI portal
The following pages link to Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic (Q1073008):
Displaying 6 items.
- Three theories of nominalized predicates (Q1073011) (← links)
- Conceptual realism versus Quine on classes and higher-order logic (Q1187230) (← links)
- Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\) (Q1355128) (← links)
- Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object (Q1893735) (← links)
- A contingent Russell's paradox (Q1924332) (← links)
- Two Impredicative Theories of Properties and Sets (Q3800002) (← links)
