A proof-theoretic semantics for adjectival modification

DOI10.1007/S10849-016-9245-8MaRDI QIDQ683680zbMATH OpenOpenAlexFDO

Authors Nissim Francez

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-016-9245-8

zbMATH Keywords

proof-theoretic semanticsadjectival modificationintersective, subsective and privative adjectivesiterated adjectival modificationnatural-deduction

Mathematics Subject Classification ID

Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Adjectival and adverbial modification: the view from modern type theories
• A modification of Frege's and Dunn's semantics for propositional logics
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Adverbs in a modern type theory
• scientific article; zbMATH DE number 4204322
• scientific article; zbMATH DE number 6290302
• Proof-theoretic semantics for subsentential phrases
• scientific article; zbMATH DE number 7109521
• scientific article; zbMATH DE number 1948160

Cites work

• scientific article; zbMATH DE number 6851054 (Why is no real title available?)
• Harmony in multiple-conclusion natural-deduction
• Modeling nonintersective adjectives using operator logics
• On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
• Proof-theoretic semantic values for logical operators
• Proof-theoretic semantics
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• Views of proof-theoretic semantics: reified proof-theoretic meanings

Cited in

(10)

• Adjectival and adverbial modification: the view from modern type theories
• scientific article; zbMATH DE number 6819811 (Why is no real title available?)
• Adverbs in a modern type theory
• Deriving syntactic properties of arguments and adjuncts from neo-Davidsonian semantics
• A proof-theoretic universal property of determiners
• Modeling nonintersective adjectives using operator logics
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for natural language
• Advances in Artificial Intelligence
• Dimensional adjectives and measure phrases in vector space semantics

This page was built for publication: A proof-theoretic semantics for adjectival modification

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