A proof-theoretic semantics for adjectival modification
From MaRDI portal
Publication:683680
DOI10.1007/s10849-016-9245-8zbMath1420.03056OpenAlexW2546873997MaRDI QIDQ683680
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
proof-theoretic semanticsadjectival modificationintersective, subsective and privative adjectivesiterated adjectival modificationnatural-deduction
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