Proof-theoretic semantics for a natural language fragment

DOI10.1007/978-3-642-14322-9_6MaRDI QIDQ3584997zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Proof-theoretic semantics for subsentential phrases
• The granularity of meaning in proof-theoretic semantics
• Language and proof theory. Preface to the special issue on ``Proof theory and natural language
• Proof-theoretic semantics
• A proof-theoretic semantics for adjectival modification

Cited in

(22)

• A proof-theoretic semantics for adjectival modification
• The epistemology of computer-mediated proofs
• A note on harmony
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• scientific article; zbMATH DE number 1421191 (Why is no real title available?)
• Prawitz, Proofs, and Meaning
• On a distinction of two facets of meaning and its role in proof-theoretic semantics
• Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• Harmony in multiple-conclusion natural-deduction
• Proof-theoretic semantics for subsentential phrases
• scientific article; zbMATH DE number 7441505 (Why is no real title available?)
• A proof-theoretic universal property of determiners
• Logics for two fragments beyond the syllogistic boundary
• The granularity of meaning in proof-theoretic semantics
• Bilateralism in proof-theoretic semantics
• A logic inspired by natural language: quantifiers as subnectors
• Proof-theoretic semantics for natural language
• Truth-conditional cognitivism and the lexical problem
• Constructive belief reports
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• Toward the formulation of presupposition by illative combinatory logic

Describes a project that uses

Uses Software

• GF

This page was built for publication: Proof-theoretic semantics for a natural language fragment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3584997)