Title:
On the Structre of Positive and Strongly PositiveArithmetical Sets
Author:
Type:
Uncontrolled Keywords:
Positive set ; strongly positive set ; arithmetical set ; signature
Abstract:
The relations between the classes of positive and strongly positive arithmetical sets are investigated. Some simplified form for the logical representation of the class of positive sets is obtained. It is proved that the logical representation of the class of positive sets is obtained when the list of operations &,∨ in the definition of the class of strongly positive sets is replaced by the list ∃,&,∨ .
Language:
URL:
Affiliation:
Institute for Informatics and Automation Problems
Country:
Conference title:
11th International Conference on Computer Science and Information Technologies CSIT 2017