Pages that link to "Item:Q2869904"
From MaRDI portal
The following pages link to Higher-order illative combinatory logic (Q2869904):
Displaying 6 items.
- Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations'' (Q1208084) (← links)
- Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus (Q1267843) (← links)
- A semantic approach to illative combinatory logic (Q2915681) (← links)
- BUNDER’S PARADOX (Q3389494) (← links)
- (Q4342090) (← links)
- Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic (Q4722038) (← links)