The following pages link to Axiomatisation of substitution (Q1433380):
Displaying 18 items.
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- Substitutions into propositional tautologies (Q845921) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- Properties of substitutions and unifications (Q1074342) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages (Q2865749) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- (Q3201049) (← links)
- Substitution, Complementarity, and Stability (Q3299267) (← links)
- Generic substitutions (Q3370754) (← links)
- Cuts and gluts (Q3647229) (← links)
- (Q4472187) (← links)
- On the Notion of Substitution (Q4821649) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- SUBSTITUTION IN RELEVANT LOGICS (Q5117597) (← links)
- Substituting strict equivalents (Q5213393) (← links)
- (Q5391356) (← links)