Une axiomatisation de la substitution |
| |
Authors: | Marcel Crabbé |
| |
Institution: | Université catholique de Louvain, ISP-Centre de Logique, place Mercier, 14, 1348 Louvain-la-Neuve, Belgique |
| |
Abstract: | 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. To cite this article: M. Crabbé, C. R. Acad. Sci. Paris, Ser. I 338 (2004). |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|