Formalizing mirror theory

被引：3
|
作者：
Kobele, Gregory M. [1 ]
机构：
[1] UCLA, Los Angeles, CA, United States
来源：
Grammars | 2002年 / 5卷 / 03期
关键词：
Context sensitive grammars - Set theory - Syntactics;
D O I：
10.1023/A:1022104104992
中图分类号：
学科分类号：
摘要：
A formalization of mirror theory was presented and some of its language theoretic properties were studied. Mirror theory accounts both for the mirror principle and for the difference between phrasal and head movement by its requirement. Various proposals for eliminating the copy-delete theory of movement in favour of simply a copy theory was presented.
引用
下载
收藏
页码：177 / 221
相关论文
共 50 条
  • [1] Formalizing Galois Theory
    Browning, Thomas
    Lutz, Patrick
    EXPERIMENTAL MATHEMATICS, 2022, 31 (02) : 413 - 424
  • [2] Formalizing Ring Theory in PVS
    Avelar da Silva, Andreia B.
    de Lima, Thaynara Arielly
    Galdino, Andre Luiz
    INTERACTIVE THEOREM PROVING, ITP 2018, 2018, 10895 : 40 - 47
  • [3] Formalizing Synthetic Domain Theory
    Bernhard Reus
    Journal of Automated Reasoning, 1999, 23 : 411 - 444
  • [4] TOWARD FORMALIZING FASHION THEORY
    MILLER, CM
    MCINTYRE, SH
    MANTRALA, MK
    JOURNAL OF MARKETING RESEARCH, 1993, 30 (02) : 142 - 157
  • [5] Formalizing Category Theory in Agda
    Hu, Jason Z. S.
    Carette, Jacques
    CPP '21: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2021, : 327 - 342
  • [6] FORMALIZING THE THEORY OF INTENTIONALITY - DISCUSSION
    BRASSAC, C
    TROGNON, A
    JOURNAL OF PRAGMATICS, 1995, 23 (05) : 555 - 562
  • [7] Formalizing set theory as it is actually used
    Avron, A
    MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2004, 3119 : 32 - 43
  • [8] Formalizing belief revision in type theory
    Borghuis, T
    Kamareddine, F
    Nederpelt, R
    LOGIC JOURNAL OF THE IGPL, 2002, 10 (05) : 461 - 500
  • [9] Formalizing Darwinism and inclusive fitness theory
    Grafen, Alan
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, 2009, 364 (1533) : 3135 - 3141
  • [10] Towards Formalizing Categorical Models of Type Theory in Type Theory
    Buisse, Alexandre
    Dybjer, Peter
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 196 : 137 - 151
12345