Remarks on projective unifiers

Pełny rekord metadanych

DC pole	Wartość	Język
dc.contributor.author	Dzik, Wojciech	-
dc.date.accessioned	2020-09-21T10:47:47Z	-
dc.date.available	2020-09-21T10:47:47Z	-
dc.date.issued	2011	-
dc.identifier.citation	Bulletin of the Section of Logic, Vol. 40, no. 1/2 (2011), s. 37-46	pl_PL
dc.identifier.issn	2449-836X	-
dc.identifier.issn	0138-0680	-
dc.identifier.uri	http://hdl.handle.net/20.500.12128/16038	-
dc.description.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.	pl_PL
dc.language.iso	en	pl_PL
dc.rights	Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/pl/	*
dc.subject	unification	pl_PL
dc.subject	unifiers	pl_PL
dc.subject	projective unifiers	pl_PL
dc.subject	structural completenes	pl_PL
dc.title	Remarks on projective unifiers	pl_PL
dc.type	info:eu-repo/semantics/article	pl_PL
Pojawia się w kolekcji:	Artykuły (WNŚiT)

Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons