Displacement logic for anaphora (Q386040): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B65 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B47 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F05 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6238122 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
anaphora | |||
| Property / zbMATH Keywords: anaphora / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
binding principles | |||
| Property / zbMATH Keywords: binding principles / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
categorical logic | |||
| Property / zbMATH Keywords: categorical logic / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
cut elimination | |||
| Property / zbMATH Keywords: cut elimination / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
displacement calculus | |||
| Property / zbMATH Keywords: displacement calculus / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
negation as failure | |||
| Property / zbMATH Keywords: negation as failure / rank | |||
Normal rank | |||
Revision as of 13:53, 29 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Displacement logic for anaphora |
scientific article |
Statements
Displacement logic for anaphora (English)
0 references
13 December 2013
0 references
anaphora
0 references
binding principles
0 references
categorical logic
0 references
cut elimination
0 references
displacement calculus
0 references
negation as failure
0 references
