Records and Record Types in Semantic Theory

DOI10.1093/LOGCOM/EXI004zbMath1070.03514OpenAlexW2126814423MaRDI QIDQ3025327

Robin Cooper

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/exi004

zbMATH Keywords

Recordsnatural language semanticstype theorydiscourse representation theorysituation semanticsMontague semanticshead-drive phrase structure grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (6)

Propositional forms of judgemental interpretations ⋮ Proof Assistants for Natural Language Semantics ⋮ Dynamic syntax. The dynamics of incremental processing: constraints on underspecification ⋮ Situations as Strings ⋮ Situations in LTL as strings ⋮ Probabilistic approaches to vagueness and semantic competency

Uses Software

• ALF

This page was built for publication: Records and Record Types in Semantic Theory