In [10], several constructive description logics were proposed as intuitionistic variants of description logics, in which classical negation was replaced by strong negation as a component to treat negative atomic information. For conceptual representation, not only strong negation but also combining it with classical negation seems to be useful and necessary due to their respective features cor...

the article presents explanation and analysis of plotinus’ abstraction theology. in this theology he tries to get negative knowledge of the god. the meaning of the negation is neither of pure negation or privation but it is based on abstraction which purifies and abstracts one concept from else to attain the exact and true meaning of it. accordingly, this method of theology is the same as the r...

negation has many complicated forms and can be represented in a variety of ways. some sentences have explicit negation items and some other sentences convey the notion of negation without having any explicit negation item. negative polarity items (npis) are expressions that need to a negative context to be grammatically correct, and their meanings are compatible with negative sentences and are ...