Text structure and proof structure

DOI10.1023/A:1008309715242zbMath0960.03024OpenAlexW2120139360MaRDI QIDQ1582321

C. F. M. Vermeulen

Publication date: 14 May 2001

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

Full work available at URL: https://doi.org/10.1023/a:1008309715242

zbMATH Keywords

proof theorydiscourse semanticsdynamic semanticsintuitionistic propositional logicdiscourse structureproof texts

Mathematics Subject Classification ID

Logic of natural languages (03B65) Methodology of mathematics (00A35) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

A step towards absolute versions of metamathematical results ⋮ Gnosis

This page was built for publication: Text structure and proof structure