Here we give the formal definitions of the basic features of the logic system proposed. This system supports the representations and manipulation (or deduction) of complex entities along with their uncertain properties [].
Particularly, the logic system that we describe here specifically concentrates on the representation of not only flat relations but also nested relations. The relations have attributes of various types, therefore the description here will first start from the definition of types. We are not interested in all possible types but only those that can be expressed through suitable definitions and therefore utilized on the developed system.
