Analyse de quelques préverbes et prépositions français et ... - LaLIC

Formalisation
de type ‘(x->(y->z))->(y->(x->z))’, on construit l’opérateur SUR à partir de la préposition sur
et le combinateur C en faisant l’unification des types : x = t, y = t->p, z = t->p. Nous avons
alors le type de C : (t -> ((t->p) ->(t->p))) -> ((t->p) -> (t->(t->p))) et l’application de C sur
sur construit l’opérateur SUR de type : ((t->p) -> (t->(t->p))). Ce type exprime formellement
le changement de valence opéré par le préverbe, puisque son rôle est de transformer un
prédicat unaire (t->p) en prédicat binaire (t->(t->p)).
Beaucoup de verbes français, obtenus par préverbation d’un verbe simple, se
conforment à ce type de composition. On le retrouve avec la plupart des préverbes :
a- Acclamer un homme d’état.← Crier (