Intensional logic and two-sorted type theory

DOI10.2307/2275016zbMath0677.03005OpenAlexW2160548849MaRDI QIDQ3832535

Thomas Ede Zimmermann

Publication date: 1989

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

Full work available at URL: https://doi.org/10.2307/2275016

zbMATH Keywords

natural language semanticsGallin's embedding of Montague's intensional logic ILintensional type-theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Related Items (1)

The problem of cross-world predication

Cites Work

• lambda-normal forms in an intensional logic for English
• Remarks on Groenendijk and Stokhof's theory of indirect questions

This page was built for publication: Intensional logic and two-sorted type theory