Pages that link to "Item:Q5742616"
From MaRDI portal
The following pages link to Rule-Generation Theorem and its Applications (Q5742616):
Displaying 8 items.
- Free logics are cut-free (Q2243550) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- (Q5701520) (← links)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) (← links)
- A novel approach to equality (Q6142508) (← links)
- The logicality of equality (Q6612870) (← links)