LOGICAL SEMANTICS OF MODULARIZATION
Grr Delavalette · University of Groningen research database (University of Groningen / Centre for Information Technology) · 1992
An algebra of theories, signatures, renamings and the operations import and export is investigated. A normal form theorem for terms of this algebra is proved. Another algebraic approach and the relation with a fragment of second order logic are also considered.