On Free Description Theory

DOI10.1002/MALQ.19670131502MaRDI QIDQ5549030zbMATH OpenOpenAlexFDO

Authors Bas C. van Fraassen, Karel Lambert

Publication date 1967

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19670131502

zbMATH Keywords

general logic

Cited in

(5)

• Incomplete symbols -- definite descriptions revisited
• Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991
• Definite descriptions in intuitionist positive free logic
• Nonstandard theories of quantification and identity
• Normalisation for positive free logics without and with definite descriptions

This page was built for publication: On Free Description Theory

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