We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On the Notion of SubstitutionPart of the material of this paper—mainly the proof of the completeness theorem—is already contained in [3].
- Authors
Crabbé, Marcel
- Abstract
We consider a concept of substitutive structure, called “logos”, in order to study simple substitution, independently of formal or programming languages. We provide a definition of simultaneous substitution in an arbitrary logos and use it to prove a completeness theorem expressing that the equational properties of the usual substitution can be proved from the logos axioms only.
- Publication
Logic Journal of the IGPL, 2004, Vol 12, Issue 2, p111
- ISSN
1367-0751
- Publication type
Academic Journal