FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

1999, VOLUME 5, NUMBER 4, PAGES 1191-1197

On logical description of geometric figures

A. A. Shakirov

Abstract

View as HTML     View as gif image    View as LaTeX source

This paper deals with the problem of equivalence of predicate logic formulas, used for description of geometric objects, constructed from a given set of basic figures by set-theoretic operations $$Ç, È, ^¾. A finite complete system of identities is obtained for a finite basis in the class of the above formulas with finite number of variables.

All articles are published in Russian.

Location: http://mech.math.msu.su/~fpm/eng/99/994/99414h.htm
Last modified: December 9, 1999