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 (12)

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

This page was built for publication: On the definition of ‘formal deduction’