Displacement logic for anaphora (Q386040): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jcss.2013.05.006 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2064259365 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2751052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sequent-systems and groupoid models. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Anaphora and type logical grammar / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Lambek calculus enriched with additional connectives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3033743 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4263075 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3612673 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4331781 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Grammar and logic* / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resource-sensitivity, binding and anaphora. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logic Programming of the Displacement Calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Anaphora and the Binding Principles in Categorial Grammar / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The displacement calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4862312 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:34, 7 July 2024
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