Proof-theoretic semantics for natural language

DOI10.1007/s11245-019-09662-5MaRDI QIDQ6652778

Nissim Francez

Publication date: 13 December 2024

Published in: Topoi (Search for Journal in Brave)

zbMATH Keywords

proof-theoretic semanticssemantics of natural languagegrounds for assertion

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The epistemic significance of valid inference
• A logic inspired by natural language: quantifiers as subnectors
• Proof-theoretic semantics for subsentential phrases
• Meaning approached via proofs
• Proof-Theoretic Semantics for a Natural Language Fragment
• Views of proof-theoretic semantics: reified proof-theoretic meanings

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