Pages that link to "Item:Q1267843"
From MaRDI portal
The following pages link to Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus (Q1267843):
Displaying 9 items.
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237) (← links)
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus (Q2811650) (← links)
- Higher-order illative combinatory logic (Q2869904) (← links)
- (Q3035270) (← links)
- (Q3781072) (← links)
- Pure type systems with more liberal rules (Q4328821) (← links)
- Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic (Q4722038) (← links)
- (Q4805940) (← links)