A logical calculus with descriptions
From MaRDI portal
Publication:1844821
DOI10.1007/BF00247223zbMath0285.02024MaRDI QIDQ1844821
Publication date: 1974
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Related Items (4)
Proof-theory and semantics for a theory of definite descriptions ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ A binary quantifier for definite descriptions for cut free free logics
This page was built for publication: A logical calculus with descriptions
