Gradability in MTT-Semantics

DOI10.1007/978-3-030-98479-3_3zbMath1530.0312MaRDI QIDQ6487225

Stergios Chatzikyriakidis, Zhaohui Luo

Publication date: 11 August 2022

Mathematics Subject Classification ID

Logic of natural languages (03B65) Formalization of mathematics in connection with theorem provers (68V20) Type theory (03B38)

Cites Work

• Adjectival and adverbial modification: the view from modern type theories
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Adjectival vagueness in a Bayesian model of interpretation
• Coercive subtyping: theory and implementation
• General semantics
• Contextual Analysis of Word Meanings in Type-Theoretical Semantics
• Records and Record Types in Semantic Theory
• Coercive subtyping
• Common Nouns as Types
• Dot-types and Their Implementation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Gradability in MTT-Semantics