Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' (Q1923834): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3992554 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4698607 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4857158 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A calculus for first order discourse representation structures / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4862312 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Language in action / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf00159340 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2005050698 / rank | |||
Normal rank | |||
Latest revision as of 10:07, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' |
scientific article |
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
