Proof-theoretic semantics for natural language

DOI10.1007/S11245-019-09662-5MaRDI QIDQ6652778zbMATH OpenFDO

Authors Nissim Francez

Publication date 13 December 2024

Published in Topoi (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11245-019-09662-5

zbMATH Keywords

grounds for assertionproof-theoretic semanticssemantics of natural language

Mathematics Subject Classification ID

Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Proof-theoretic semantics for a natural language fragment
• The granularity of meaning in proof-theoretic semantics
• Proof-theoretic semantics
• A proof-theoretic semantics for adjectival modification
• Proof-theoretic semantics for subsentential phrases

Cites work

• A logic inspired by natural language: quantifiers as subnectors
• Absolute generality
• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• scientific article; zbMATH DE number 6819811 (Why is no real title available?)
• Meaning approached via proofs
• Proof-theoretic semantics
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• The epistemic significance of valid inference
• Views of proof-theoretic semantics: reified proof-theoretic meanings

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

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