Proof-Theoretic Semantics for a Natural Language Fragment

DOI10.1007/978-3-642-14322-9_6zbMath1286.03113OpenAlexW1964358451MaRDI QIDQ3584997

Nissim Francez, Roy Dyckhoff

Publication date: 31 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14322-9_6

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50) Linguistics (91F20)

Related Items (15)

SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ A proof-theoretic universal property of determiners ⋮ A note on harmony ⋮ Bilateralism in proof-theoretic semantics ⋮ 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 ⋮ Harmony in multiple-conclusion natural-deduction ⋮ Proof-theoretic semantics for subsentential phrases ⋮ Logics for Two Fragments beyond the Syllogistic Boundary ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Prawitz, Proofs, and Meaning ⋮ The Epistemology of Computer-Mediated Proofs ⋮ On a distinction of two facets of meaning and its role in proof-theoretic semantics

Uses Software

• GF

This page was built for publication: Proof-Theoretic Semantics for a Natural Language Fragment