| authors | Iemhoff, R.; Rozière, P. |
| source | Logic Group Preprint Series, Volume: 296 (2012) |
| full text | [Full text]
|
| publisher | Department of Philosophy of Utrecht University |
| URL publisher | [Website publisher]
|
| document type | Preprint |
| version | Preprint version |
| disciplines | Wijsbegeerte |
| 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 shown how from the closure of a formula under the so-called Visser rules a proof of the formula under a projective unifier can be obtained. This implies that in the logics considered the admissibility of the n-th Visser rule is a sufficient condition for the n-unification type to be finitary. At the end of the paper it is shown how these results imply several well-known results from the literature |
| keywords | unification, admissible rules, intermediate logics, fragments, unification, admissible rules, intermediate logics, fragments |
| ISSN | 0929-0710 |
