01696nz 2200313n 4500 sh98004249 DLC 19980818082845.1 980715|| anannbab| |a ana ||| sh 98004249 DLC DLC Quasivarieties (Universal algebra) Algebraic systems, Quasi-varieties of Classes, Implicationally defined Classes, Quasi-primitive Classes, Universal Horn Horn classes, Universal Implicationally defined classes Quasi-primitive classes Quasi-varieties of algebraic systems Quasiprimitive classes Universal Horn classes g Varieties (Universal algebra) g Logic, Symbolic and mathematical Work cat.: 98-36280: Gorbunov, V.A. Algebraic theory of quasivarieties, c1998: CIP pref. (a branch of algebra and mathematical logic that deals with a fragment of the first-order logic, the so called universal Horn Logic) Math. subj. classif. (08-XX, General mathematical systems; 08Cxx, Classes of algebras; 08C15, Quasivarieties) Encyc. math. (Algebraic systems, Quasi-variety of: a class of algebraic systems ([Omega]-systems) axiomatized by special formulas of a first-order logical language called quasi-identities or conditional identities; also known as a universal Horn class or quasi-primitive class) Eisenreich. Mathematik (quasiprimitive class; implicationally defined class, quasivariety; definitions for quasivariety under category theory and universal algebra) Encyc. dict. math.; James math. dict.