Remarks on descriptions and natural deduction

DOI10.1007/BF01977152zbMath0081.24501OpenAlexW4251838348MaRDI QIDQ3249761

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

Related Items

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