1. Science
  2. Publications
  3. Information Processing Systems
  4. 6(113)'2013
  5. About the algebra-logic concepts description task

About the algebra-logic concepts description task

V.A. Leschynskiy
Annotations languages:

The formal specification of logical concepts on substitutional operations algebra language is executed. Knowledge about logical facilities, that is arrived at by means of logical concepts identification, increases reliability of these facilities. Actuality of logical concepts identification is determined by practical importance of formal models of these concepts for the theory of intellect.
Keywords: theory of intelligence, algebras of finite predicates and predicate operations