Language and proof theory. Preface to the special issue on ``Proof theory and natural language

DOI10.1007/BF00159340zbMath0858.03033OpenAlexW2005050698MaRDI QIDQ1923834

Ruth Kempson, Dov M. Gabbay

Publication date: 19 March 1997

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00159340

zbMATH Keywords

natural languagesresource logicslabelled deductive systems

Mathematics Subject Classification ID

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

Cites Work

• Language in action
• A calculus for first order discourse representation structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Language and proof theory. Preface to the special issue on ``Proof theory and natural language