Text structure and proof structure (Q1582321)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Text structure and proof structure |
scientific article |
Statements
Text structure and proof structure (English)
0 references
14 May 2001
0 references
discourse semantics
0 references
discourse structure
0 references
dynamic semantics
0 references
proof texts
0 references
intuitionistic propositional logic
0 references
proof theory
0 references
