Proof-theoretic semantics for subsentential phrases
From MaRDI portal
Publication:969428
DOI10.1007/s11225-010-9241-yzbMath1197.03031MaRDI 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 language; proof-theoretic semantics; Frege's context principle; proof-theoretic type interpretation; subsentential phrase
03B65: Logic of natural languages
Related Items
Prawitz, Proofs, and Meaning, SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES, 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, A proof-theoretic universal property of determiners, Proof-theoretic semantics for subsentential phrases, Subatomic natural deduction for a naturalistic first-order language with non-primitive identity, Harmony in multiple-conclusion natural-deduction, On a distinction of two facets of meaning and its role in proof-theoretic semantics, RULES FOR SUBATOMIC DERIVATION, PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS
Cites Work