FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

1999, VOLUME 5, NUMBER 1, PAGES 149-192

On functional system of logical function sheaves

V. V. Kudryavtsev

Abstract

View as HTML     View as gif image    View as LaTeX source

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.

All articles are published in Russian.

Location: http://mech.math.msu.su/~fpm/eng/99/991/99111h.htm
Last modified: April 27, 1999