Unification in intermediate logics (2012)

Titel Unification in intermediate logics
Gepubliceerd in Logic Group Preprint Series, Vol. 296. ISSN 0929-0710.
Auteur Iemhoff, R.; Rozière, P.
Datum 2012-04-04
Trefwoord(en) unification, admissible rules, intermediate logics, fragments, unification, admissible rules, intermediate logics, fragments
Taal Engels
Type Preprint
Uitgever Department of Philosophy of Utrecht University
Samenvatting 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 Visser rules a proof of the formula under a projective unifier can be obtained. This implies that in the logics considered, for the n-unification type to be finitary it suffices that the m-th Visser rule is admissible for a sufficiently large m. At the end of the paper it is shown how these results imply several well-known results from the literature.
Persistent Identifier URN:NBN:NL:UI:10-1874-237046
Metadata XML
Bron Universiteit Utrecht

Ga terug naar de inhoud
Ga terug naar de site navigatie