A proof-theoretic semantics for adjectival modification
DOI10.1007/S10849-016-9245-8zbMATH Open1420.03056OpenAlexW2546873997MaRDI QIDQ683680FDOQ683680
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
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
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
- Proof-theoretic semantics for a natural language fragment
- Proof-theoretic semantics for subsentential phrases
- Proof-theoretic semantic values for logical operators
- Modeling nonintersective adjectives using operator logics
- Views of proof-theoretic semantics: reified proof-theoretic meanings
- Proof-theoretic semantics
- On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
- Harmony in multiple-conclusion natural-deduction
- Title not available (Why is that?)
Cited In (10)
- Adjectival and adverbial modification: the view from modern type theories
- Title not available (Why is that?)
- 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)