Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' (Q1923834)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Language and proof theory. Preface to the special issue on ``Proof theory and natural language |
scientific article; zbMATH DE number 934098
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' |
scientific article; zbMATH DE number 934098 |
Statements
Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' (English)
0 references
19 March 1997
0 references
The note discusses the meaning and significance of the development of resource logics (in particular of labelled deductive systems) to the study of natural languages. Some problems to be solved are also presented.
0 references
resource logics
0 references
labelled deductive systems
0 references
natural languages
0 references
