I have been studying the following work on description logic, which is closely related to my main work on extensions of order-sorted logic and logic programming [4, 3, 2]. Title: Negation in Description Logics: Contraries, Contradictories and Subcontraries (under submission) Abstract: We propose an alternative description logic ALC∼ with classical negation and strong negation. In particular, we...

Research on complementizer selection has shown that the presence of a negative particle in subordinate complement clause influences choice, leading to relatively higher proportion finite complementation patterns by increasing complexity syntactic environment. Studies have also different types negation, namely not - and no -negation, increase tendency towards more explicit options (Rohdenburg 20...

In Danish the base position of the negation and negated quantifier phrases is between the subject and the finite verb in embedded clauses. However, in embedded clauses introduced by a non-veridical complementizer such as hvis (‘if’) or om (‘whether’) the negation and negated quantifier phrases can also appear between the complementizer and the subject. This phenomenon is referred to as preposed...

Constructive negation in intuitionistic logic (called strong negation [7]) can be used to directly represent negative assertions, and for which its semantics [8, 1] is defined in Kripke models by two satisfaction relations (|= P and |= N ). However, the interpretation and satisfaction based on the conventional semantics do not fit in with the definition of negation in knowledge representation w...