Several universal approximation and universal representation results are known for non-Boolean multivalued logics such as fuzzy logics. In this paper, we show that similar results can be proven for multivalued Boolean logics as well.
Closure of Boolean operations on geometric entities
โ Scribed by R.B. Tilove; A.A.G. Requicha
- Publisher
- Elsevier Science
- Year
- 1980
- Tongue
- English
- Weight
- 811 KB
- Volume
- 12
- Category
- Article
- ISSN
- 0010-4485
No coin nor oath required. For personal study only.
โฆ Synopsis
Boolean operations akin to set intersection, union, and difference play an important role in CAD/CAM. Geometric entities of practical interest (e.g. polygons or polyhedra) are not algebraically closed under the conventional set operators, and therefore algorithms cannot implement conventional set operations if they are to produce results that can be used in subsequent calculations. This paper demonstrates that closure raises delicate issues, and presents a correct mathematical approach based on the topological notion of regularity.
๐ SIMILAR VOLUMES
Given a continuous semiring A and a collection แข of semiring morphisms mapping the elements of A into finite matrices with entries in A we define แข-closed semirings. These are fully rationally closed semirings that are closed under the following operation: each morphism in แข maps an element of the แข
## Abstract We investigate analytical properties of a measure geometric Laplacian which is given as the second derivative $ {d \over {d \mu}} {d \over {d \nu}} $ w.r.t. two atomless finite Borel measures __ฮผ__ and __ฮฝ__ with compact supports supp __ฮผ__ โ supp __ฮฝ__ on the real line. This class of o