Remarks on descriptions and natural deduction

DOI10.1007/BF01977152zbMATH Open0081.24501OpenAlexW4251838348MaRDI QIDQ3249761FDOQ3249761

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)