On the definition of ‘formal deduction’

DOI10.2307/2268751zbMath0073.00701OpenAlexW2055950262MaRDI QIDQ3236671

Leon Henkin, Richard Montague

Publication date: 1956

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268751

zbMATH Keywords

PhilosophyFoundationsMathematical Logic

Related Items

From worlds to probabilities: A probabilistic semantics for modal logic, Open formulas and the empty domain, On Jaśkowski's discussive logics, Leon Henkin the Reviewer, Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization, Does the deduction theorem fail for modal logic?, Eine Bemerkung über den Kalkül des natürlichen Schließens, Axiomatizing Belnap's conditional assertion, Alternative semantics for quantified first degree relevant logic, In Memoriam: Leon Albert Henkin 1921–2006, The logic of pragmatic truth, Investigations in many-sorted quantor logic