Une axiomatisation de la substitution

Marcel Crabbé

doi:10.1016/j.crma.2004.01.021

Logique

Une axiomatisation de la substitution

Présenté par : Jean-Yves Girard

Marcel Crabbé ¹

¹ Université catholique de Louvain, ISP-Centre de Logique, place Mercier, 14, 1348 Louvain-la-Neuve, Belgique

Comptes Rendus. Mathématique, Volume 338 (2004) no. 6, pp. 433-436.

Résumé
Abstract

Nous examinons la notion de substitution de façon abstraite, sans la définir explicitement. Nous épinglons les traits essentiels de la substitution afin de définir un concept de structure substitutive, appelé logos. Nous formulons ensuite un théorème de complétude en vue de préciser et de justifier le sentiment que les propriétés de la substitution usuelle peuvent être dérivées uniquement des axiomes de logos.

We investigate the notion of substitution in an abstract way, without defining it explicitly. We single out the essential features of the operation of performing a substitution in order to define a concept of substitutive structure, called logos. We then prove a completeness theorem making precise and justifying the intuition that formulas true for the usual substitution can be proved from the logos axioms only.

Reçu le : 2004-01-16
Accepté le : 2004-01-20
Publié le : 2004-02-25

DOI : 10.1016/j.crma.2004.01.021

Affiliations des auteurs :

Marcel Crabbé ¹

¹ Université catholique de Louvain, ISP-Centre de Logique, place Mercier, 14, 1348 Louvain-la-Neuve, Belgique

@article{CRMATH_2004__338_6_433_0,
     author = {Marcel Crabb\'e},
     title = {Une axiomatisation de la substitution},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {433--436},
     publisher = {Elsevier},
     volume = {338},
     number = {6},
     year = {2004},
     doi = {10.1016/j.crma.2004.01.021},
     language = {fr},
}

TY  - JOUR
AU  - Marcel Crabbé
TI  - Une axiomatisation de la substitution
JO  - Comptes Rendus. Mathématique
PY  - 2004
SP  - 433
EP  - 436
VL  - 338
IS  - 6
PB  - Elsevier
DO  - 10.1016/j.crma.2004.01.021
LA  - fr
ID  - CRMATH_2004__338_6_433_0
ER  -

%0 Journal Article
%A Marcel Crabbé
%T Une axiomatisation de la substitution
%J Comptes Rendus. Mathématique
%D 2004
%P 433-436
%V 338
%N 6
%I Elsevier
%R 10.1016/j.crma.2004.01.021
%G fr
%F CRMATH_2004__338_6_433_0

Marcel Crabbé. Une axiomatisation de la substitution. Comptes Rendus. Mathématique, Volume 338 (2004) no. 6, pp. 433-436. doi : 10.1016/j.crma.2004.01.021. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2004.01.021/