Quasi-varieties: A special access |
| |
Authors: | Dr. habil. Hans-Jürgen Hoehnke |
| |
Affiliation: | (1) Inst. of Pure Math. of the former, Acad. Sci. GDR, Berlin;(2) Tempelhofer Strasse 122, D-30853 Langenhagen, GERMANY |
| |
Abstract: | Quasi-equational logic concerns with a completeness theorem, i. e. a list of general syntactical rules such that, being given a set of graded quasi-equations Q, the closure Cl Q = Qeq Fun Q can be derived from by the given rules. Those rules do exist, because our consideration could be embedded into the logic of first order language. But, we look for special (quasi-equational) rules. Suitable rules were already established for the (non-functorial) case of partial algebras in Definition 3.1.2 of [27], p. 108, and [28], p. 102. (For the case of total algebras, see [35].) So, one has to translate these rules to the (functorial) language of partial theories .Surprisingly enough, partial theories can be replaced up to isomorphisms by partial Dale monoids (cf. Section 3), which, in the total case are ordinary monoids.Special issue of Studia Logica: Algebraic Theory of Quasivarieties Presented byM. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko |
| |
Keywords: | Varieties and quasi-varieties of partial algebras partial theories partial Dale monoids Mal /content/h83282843031n066/xxlarge8217.gif" alt=" rsquo" align=" BASELINE" BORDER=" 0" >cev clones |
本文献已被 SpringerLink 等数据库收录! |
|