Pages that link to "Item:Q3043111"
From MaRDI portal
The following pages link to A weak absolute consistency proof for some systems of illative combinatory logic (Q3043111):
Displayed 6 items.
- Arithmetic based on the Church numerals in illative combinatory logic (Q1115414) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Category theory based on combinatory logic (Q3335754) (← links)
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
- Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic (Q4722038) (← links)
- Some generalizations to two systems of set theory based on combinatory logic (Q4726221) (← links)