The following pages link to The road to two theorems of logic (Q1024115):
Displaying 6 items.
- Beth definability, interpolation and language splitting (Q542122) (← links)
- Two roads to the successor axiom (Q2054138) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- Two kinds of unexpected problems in writings on logic (Q5437783) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)