Remarks on descriptions and natural deduction

DOI10.1007/BF01977152MaRDI QIDQ3249761zbMATH OpenOpenAlexFDO

Authors Richard Montague, Donald Kalish

Publication date 1957

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/137734

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(6)

• Pragmatics and intensional logic
• The logicality of equality
• Fregean Description Theory in Proof-Theoretical Setting
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• A simplified formalization of predicate logic with identity
• Existential instantiation and normalization in sequent natural deduction

This page was built for publication: Remarks on descriptions and natural deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3249761)