Unification types in logic
By: Wojciech Dzik.
Series: Prace naukowe Uniwersytetu Śląskiego w Katowicach -- nr 2554
Publisher: Wydawnictwo Uniwersytetu Śląskiego
Published: 2007
Place of publication: Katowice
Language: eng
Number of pages: 192
ISBN-13: 9788322617175
Subjects: Modality (Logic)
First sentence: The main aim of unification is to make two symbolic expressions equal, or identical, by substituting their variables with other expressions
Description: The main aim of unification is to make two symbolic expressions equal, or identical, by substituting their variables with other expressions. Unification in logic is concerned with finding a substitution that transforms a formula into a theorem or a tautology. The substitutions that satisfy this condition are called unifiers. The crucial problem considered in the unification theory is to find, if possible, most general unifiers, i.e., such unifiers for which any unifier is their special case, or instance. There are four possible
unification types: unitary (best), finitary, infinitary and nullary, depending on the number of
unifiers which are maximal with respect to the relation of being more general. The subject of this book is to assign these types to various logical systems, to find the properties determining particular types of logics together with their location, and to apply unifiers to logic. In general our investigations concern the logical analysis of language and its structure.
Notes: Errata inserted.

Includes bibliographical references (p. 180-186) and index.

Summary in Polish and German.