Basic Notions and Problems
Throughout the book, M will denote an arbitrary, but fixed infinite set of some elements. The starting primary notion in our discussion will be that of a property. Let Pr denote the class of all nonantinomial properties which make sense for the elements of M, and which can be formulated in a natural language. We shall assume that each property p ∈ Pr separates from M an object, generally distinct in each case. From this viewpoint, a division of Pr into two subclasses will be introduced and its consequences will be discussed.
KeywordsHeyting Algebra Implication Operator Fuzzy Topological Space Distinct Sort Natural Language Statement
Unable to display preview. Download preview PDF.