Adjectival and adverbial modification: the view from modern type theories

DOI10.1007/S10849-017-9246-2zbMath1420.03055OpenAlexW2587771182WikidataQ59611826 ScholiaQ59611826MaRDI QIDQ683682

Stergios Chatzikyriakidis, Zhaohui Luo

Publication date: 8 February 2018

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-017-9246-2

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (3)

Meaning and computing: two approaches to computable propositions ⋮ Propositional forms of judgemental interpretations ⋮ Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Coercive subtyping: theory and implementation
• Natural language inference in Coq
• Validity concepts in proof-theoretic semantics
• General semantics
• Proof Assistants for Natural Language Semantics
• Contextual Analysis of Word Meanings in Type-Theoretical Semantics
• Coercive subtyping
• Common Nouns as Types
• Adverbs in a Modern Type Theory
• Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

This page was built for publication: Adjectival and adverbial modification: the view from modern type theories