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