http://hdl.handle.net/20.500.12128/16038
Tytuł: | Remarks on projective unifiers |
Autor: | Dzik, Wojciech |
Słowa kluczowe: | unification; unifiers; projective unifiers; structural completenes |
Data wydania: | 2011 |
Źródło: | Bulletin of the Section of Logic, Vol. 40, no. 1/2 (2011), s. 37-46 |
Abstrakt: | 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 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Dzik_Remarks_on_projective_unifiers.pdf | 320,27 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons