Adjectival and adverbial modification: the view from modern type theories

DOI10.1007/S10849-017-9246-2zbMATH Open1420.03055DBLPjournals/jolli/Chatzikyriakidis17OpenAlexW2587771182WikidataQ59611826 ScholiaQ59611826MaRDI QIDQ683682FDOQ683682

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

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?

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites Work

• General semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contextual analysis of word meanings in type-theoretical semantics
• Title not available (Why is that?)
• Validity concepts in proof-theoretic semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Proof assistants for natural language semantics
• Title not available (Why is that?)
• Coercive subtyping
• Title not available (Why is that?)
• Title not available (Why is that?)
• Common nouns as types
• Adverbs in a modern type theory
• Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?

Cited In (12)

• A proof-theoretic semantics for adjectival modification
• Title not available (Why is that?)
• 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
• Gradability in MTT-Semantics

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)