Pages that link to "Item:Q5822062"
From MaRDI portal
The following pages link to Banishing the rule of substitution for functional variables (Q5822062):
Displaying 19 items.
- Visions of Henkin (Q514560) (← links)
- Classical second-order intensional logic with maximal propositions (Q1236105) (← links)
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- Uniform substitution at one Fell swoop (Q2305431) (← links)
- \textit{Begriffsschrift}'s logic (Q2656211) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- In Memoriam: Leon Albert Henkin 1921–2006 (Q3398617) (← links)
- A Uniform Substitution Calculus for Differential Dynamic Logic (Q3454116) (← links)
- Expressing Symmetry Breaking in DRAT Proofs (Q3454124) (← links)
- Leon Henkin (Q3454796) (← links)
- Henkin on Completeness (Q3454811) (← links)
- April the 19th (Q3454818) (← links)
- Comparison of Russell's resolution of the semantical antinomies with that of Tarski (Q4163501) (← links)
- Identity, Equality, Nameability and Completeness (Q4576060) (← links)
- Proof normalization modulo (Q4650285) (← links)
- Substitution and Propositional Proof Complexity (Q5027247) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- String theory (Q5966796) (← links)