Proof-theoretic semantics for subsentential phrases
From MaRDI portal
Publication:969428
DOI10.1007/s11225-010-9241-yzbMath1197.03031OpenAlexW2086460748MaRDI QIDQ969428
Gilad Ben-Avi, Roy Dyckhoff, Nissim Francez
Publication date: 7 May 2010
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-010-9241-y
natural languageproof-theoretic semanticsFrege's context principleproof-theoretic type interpretationsubsentential phrase
Related Items (15)
SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ A proof-theoretic universal property of determiners ⋮ A note on harmony ⋮ A logic inspired by natural language: quantifiers as subnectors ⋮ Constructive belief reports ⋮ A proof-theoretic semantics for adjectival modification ⋮ A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions ⋮ A generalized syllogistic inference system based on inclusion and exclusion relations ⋮ Harmony in multiple-conclusion natural-deduction ⋮ Proof-theoretic semantics for subsentential phrases ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Prawitz, Proofs, and Meaning ⋮ RULES FOR SUBATOMIC DERIVATION ⋮ PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS ⋮ On a distinction of two facets of meaning and its role in proof-theoretic semantics
Cites Work
This page was built for publication: Proof-theoretic semantics for subsentential phrases
