This article is cited in 1 paper

On functional system of logical function sheaves

V. V. Kudryavtsev

M. V. Lomonosov Moscow State University

Abstract: We study the functional systems of logical function sheaves with the operations on them induced by the operations on functions and automata. The algorithmic solvability of completeness and expressability problems for functional systems of function sheaves is investigated.

UDC: 519.716

Received: 01.04.1996

Bibliographic databases:

• 
•