Semantics and Stratification

DOI10.1093/LOGCOM/EXI007zbMath1070.03517OpenAlexW2073269599MaRDI QIDQ3025331

Raymond Turner

Publication date: 13 July 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi007

zbMATH Keywords

stratificationtypestype theoryintensionalitySemantics

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (1)

Type-theoretic logic with an operational account of intensionality

This page was built for publication: Semantics and Stratification