In Colore there are axiomatizations for recurring strucures. E.g., there is an axiomatization of partial order.In order to reuse these axioms, e.g., in the axiomatization of "smaller than" it is important to be able to rename the names in the axiomatization. This would involve some signature mapping.
In Colore there are axiomatizations for recurring strucures. E.g., there is an axiomatization of partial order.In order to reuse these axioms, e.g., in the axiomatization of "smaller than" it is important to be able to rename the names in the axiomatization. This would involve some signature mapping.