FUNDAMENTALNAYA
I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

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

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
```$\cap,\cup,\overline{\phantom{a}}$ .
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.

Main page | Contents of the journal | News | Search |

Location: http://mech.math.msu.su/~fpm/eng/99/994/99414t.htm

Last modified: December 9, 1999