A definition of truth for theories with intensional definite description operators

DOI10.1007/BF00650493zbMath0248.02028OpenAlexW2029563262MaRDI QIDQ2556394

Richard E. Grandy

Publication date: 1972

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00650493

Mathematics Subject Classification ID

General logic (03B99)

Related Items (1)

Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991

Cites Work

• Unnamed Item
• Universally free logic and standard quantification theory
• A note on the moment structure of the multitype Galton-Watson process
• On the logic of variable binders

This page was built for publication: A definition of truth for theories with intensional definite description operators