Semantics and Stratification

DOI10.1093/LOGCOM/EXI007zbMATH Open1070.03517OpenAlexW2073269599MaRDI QIDQ3025331FDOQ3025331

Authors: 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

Recommendations

• Records and Record Types in Semantic Theory
• Notes on stratified semantics
• Contextual analysis of word meanings in type-theoretical semantics
• Logical semantics as an empirical science
• Applications of type theory

zbMATH Keywords

stratificationtypestype theoryintensionalitySemantics

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cited In (7)

• Title not available (Why is that?)
• Contextual analysis of word meanings in type-theoretical semantics
• Title not available (Why is that?)
• Notes on stratified semantics
• Structured meanings and reflexive domains
• Records and Record Types in Semantic Theory
• Type-theoretic logic with an operational account of intensionality

This page was built for publication: Semantics and Stratification

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