Algebraic Theory of Quasivarieties
Viktor A. Gorbunov
The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal Horn logic. This treatise uniformly presents the principal directions of the theory from an effective algebraic approach developed by the author himself. A revolutionary exposition, this influential text contains a number of results never before published in book form, featuring in-depth commentary for applications of quasivarieties to graphs, convex geometries, and formal languages. Key features include coverage of the Birkhoff-Mal'tsev problem on the structure of lattices of quasivarieties, helpful exercises, and an extensive list of references.
श्रेणियाँ:
साल:
1998
संस्करण:
1998
प्रकाशन:
Springer
भाषा:
english
पृष्ठ:
300
ISBN 10:
0306110636
ISBN 13:
9780306110634
श्रृंखला:
Siberian School of Algebra and Logic
फ़ाइल:
PDF, 12.91 MB
IPFS:
,
english, 1998