Sur un Modèle Logique de la Catégorie Grammaticale Élémentaire II
✍ Scribed by Solomon Marcus
- Publisher
- John Wiley and Sons
- Year
- 1962
- Tongue
- English
- Weight
- 400 KB
- Volume
- 8
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
SUR UN MOD&LE LOGIQUE DE LA CATgGORIE GRAMMATICALE GLGMENTAIRE I1 par SOLOMON MARCUS A, Bucarest Ce travail est la suite de [3]. Les notations et la terminologie sont celles de [3]. Pour faciliter la lecture, on rappelle quelques dhfinitions. Considerons un ensemble r dont les 618ments sont nomm8s mots. DBsignons par @ le denii-groupe libre engendrh par I: Un hlhment de @ sera, par definition, une phrase. Considerons une certaine partie Y C @. Les 816ments de Y sont, par dPfinition, des phrases marquiees ou ripiriees. Soient x E I', y E r. On a , par definition, x --t y et on dit que x domine y si, pour chaque phrase marquire contenant x , le remplacement de x par y conduit B une phrase marquke. Pour X C I', Y C r, on dit que X domine Y et on h i t X -+ Y si pour x E X , y E Y on a x -+ y , Un ensemble A C I' est initial s'il n'existe aucun x @ A tel que x -+A. Posons A , = { x ; A + x}. ,4, est, par d6finition, le produit sature' de A . La reunion @ ( A ) = A v A , est, par definition, la catigorie grammaticale e'limentaire (la c. g. 6.) engendr8e par A . L'ensemble {y ; x+y, y + z} est, par definition, la famille de x et cst dBsign6 par F (z) ou X ( x ) , Par A B on dhsigne la difference symdtrique de 9 et B. On Bcrit A p B et on dit que A et B sont pequivalents si @ ( A ) = @ ( B ) . L'ensemble initial A est normal si A est une rPunion de familles; dans ce cas, on dit clue (I)(A) est une c.g.8. normale. Posons A =%FAs(x). A s'appelle la couwrture de A .