Abstract
This paper contains a proof theoretic treatment of some aspects of unification in intermediate logics. It is shown that many existing results can be extended to fragments that at least contain implication and conjunction. For such fragments the connection between valuations and most general unifiers is clarified, and it is
... read more