Une axiomatisation de la substitution

Crabbé, Marcel
(2004) Comptes rendus - Mathématique — Vol. 338, n° 6, p. 433-436 (2004)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 89.47 KB
Request a copy

Details

Authors
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. (C) 2004 Academie des sciences. Publie par Elsevier SAS. Tous droits reserves.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Crabbé, M. (2004). Une axiomatisation de la substitution. Comptes rendus - Mathématique, 338(6), 433-436. https://doi.org/10.1016/j.crma.2004.01.021 (Original work published 2004)