Displacement logic for anaphora (Q386040): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
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

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
    0 references
    0 references
    13 December 2013
    0 references
    0 references
    0 references
    0 references
    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
    0 references