18-25 April 2010
Lisbon, Portugal
Special Session on NEGATION to be held as part of World Congress and Scholl on UNIVERSAL LOGIC III Lisbon, Portugal, April 18-25, 2010 (http://www.uni-log.org/enter-lisbon.html) The session is organized by Sergei Odintsov (odintsov@math.nsc.ru) and Heinrich Wansing (Heinrich.Wansing@tu-dresden.de) Abstracts (one page) for this special session should be submitted by email to odintsov@math.nsc.ru by October 15 2009 CALL FOR PAPERS Dealing with a certain polarity of thought, negation is, perhaps, the most crucial among the logical connectives. It has been studied since antiquity and has been subject to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. This development shows that bringing into play various types of negation may produce highly fruitful and promising results in many areas, such as paraconsistent logic, non-monotonic reasoning, the theory of data bases and logic programming. The properties of negation - in combination with those of other logical operations and structural features of the deductibility relation - serve as gateways among logical systems. Moreover, a difference between various logical systems can often be reconstructed as a difference of certain features of negation operators used in these systems. Notwithstanding the importance of negation, the immense literature on negation is full of disagreements concerning at least necessary conditions under which a unary connective ought to be regarded as a negation operation, the syntactical type to which a negation operator should belong, etc. We hope that this session will contribute to comparing different kinds of negation, developing a general theory of negation, and investigating the scope and validity of principles about negation. Topics suitable for this Special Session include, but are not limited to, the following ones: - proof-theoretical versus semantical treatments of negation - negation, consistency, and inconsistency; interrelations between these notions - negation and Galois connections; correspondence theory for negation - negation in the light of modal logic - negation in relevant and substructural logics - constructive treatments of negation - negation in belief revision - negation in logic programming and non-monotonic reasoning - negation in adaptive logics - negation in paraconsistent logics - negation in categorical grammar - negation in concept analysis