http://hdl.handle.net/20.500.12128/16038
Title: | Remarks on projective unifiers |
Authors: | Dzik, Wojciech |
Keywords: | unification; unifiers; projective unifiers; structural completenes |
Issue Date: | 2011 |
Citation: | Bulletin of the Section of Logic, Vol. 40, no. 1/2 (2011), s. 37-46 |
Abstract: | A projective unifier for a unifiable formula a in a logic L is a unifier a for a (i.e. a substitution making a a theorem of L) such that a —L a(x) o x. Using the result of Burris [3] we observe that every discriminator variety has projective unifiers. Several examples of projective unifiers both in discriminator and in non-discriminator varieties are given. As an application we show that logics with projective unifiers are almost structurally complete, i.e. every admissible rule with unifiable premises is derivable. |
URI: | http://hdl.handle.net/20.500.12128/16038 |
ISSN: | 2449-836X 0138-0680 |
Appears in Collections: | Artykuły (WNŚiT) |
File | Description | Size | Format | |
---|---|---|---|---|
Dzik_Remarks_on_projective_unifiers.pdf | 320,27 kB | Adobe PDF | View/Open |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons License