Adjectival and adverbial modification: the view from modern type theories

DOI10.1007/S10849-017-9246-2MaRDI QIDQ683682zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Stergios Chatzikyriakidis, Zhaohui Luo

Publication date 8 February 2018

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

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• Adverbs in a modern type theory
• A proof-theoretic semantics for adjectival modification
• Monotonicity reasoning in formal semantics based on modern type theories
• Common nouns as types
• Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?

Cites work

• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3490869 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 591911 (Why is no real title available?)
• scientific article; zbMATH DE number 1086673 (Why is no real title available?)
• scientific article; zbMATH DE number 1501611 (Why is no real title available?)
• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• scientific article; zbMATH DE number 3349775 (Why is no real title available?)
• Adverbs in a modern type theory
• Coercive subtyping
• Coercive subtyping: theory and implementation
• Common nouns as types
• Contextual analysis of word meanings in type-theoretical semantics
• Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?
• General semantics
• Natural language inference in Coq
• Proof assistants for natural language semantics
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Validity concepts in proof-theoretic semantics

Cited in

(12)

• Gradability in MTT-Semantics
• A proof-theoretic semantics for adjectival modification
• scientific article; zbMATH DE number 1964700 (Why is no real title available?)
• Monotonicity reasoning in formal semantics based on modern type theories
• Common nouns as types
• Adverbs in a modern type theory
• Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?
• Propositional forms of judgemental interpretations
• Meaning and computing: two approaches to computable propositions
• Advances in Artificial Intelligence
• Aspectual Shifts With and Without Type Conflict
• Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account

Describes a project that uses

Uses Software

• Coq

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

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