Banishing the rule of substitution for functional variables
From MaRDI portal
Publication:5822062
DOI10.2307/2267403zbMath0053.20003OpenAlexW2041327863MaRDI QIDQ5822062
Publication date: 1953
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2267403
Related Items (19)
A Uniform Substitution Calculus for Differential Dynamic Logic ⋮ Expressing Symmetry Breaking in DRAT Proofs ⋮ Henkin on Completeness ⋮ April the 19th ⋮ \textit{Begriffsschrift}'s logic ⋮ Identity, Equality, Nameability and Completeness ⋮ A complete uniform substitution calculus for differential dynamic logic ⋮ Visions of Henkin ⋮ Proof normalization modulo ⋮ Classical second-order intensional logic with maximal propositions ⋮ Comparison of Russell's resolution of the semantical antinomies with that of Tarski ⋮ Uniform substitution at one Fell swoop ⋮ In Memoriam: Leon Albert Henkin 1921–2006 ⋮ Leon Henkin ⋮ String theory ⋮ European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 ⋮ Neo-Logicism and Its Logic ⋮ Substitution and Propositional Proof Complexity ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication: Banishing the rule of substitution for functional variables
