Pages that link to "Item:Q4276020"
From MaRDI portal
The following pages link to Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020):
Displaying 4 items.
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237) (← links)
- Higher-order illative combinatory logic (Q2869904) (← links)
- Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic (Q4227871) (← links)
- Pure type systems with more liberal rules (Q4328821) (← links)