A proof-theoretic semantics for adjectival modification

DOI10.1007/s10849-016-9245-8zbMath1420.03056OpenAlexW2546873997MaRDI QIDQ683680

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Modeling nonintersective adjectives using operator logics
• Proof-theoretic semantics for subsentential phrases
• Harmony in multiple-conclusion natural-deduction
• PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS
• Proof-Theoretic Semantics for a Natural Language Fragment
• ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
• Views of proof-theoretic semantics: reified proof-theoretic meanings