Call for Papers
Special Issue of Studia Logica
on Negation in Constructive Logic
edited by
Sergei Odintsov (Novosibirsk, Russia)
Yaroslav Shramko (Krivoi Rog, Ukraine)
Heinrich Wansing (Dresden, Germany)
- deadline: October 31, 2004
- submissions: pdf or postcript files should be sent to Heinrich.Wansing@mailbox.tu-dresden.de
The notion of negation is one of the central logical notions. 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. Many conceptions of negation claim to be of a constructive character. It appears that the constructivity of a logical system is closely connected to the type of negation employed in it.
There will be a workshop devoted to the same topic, see: webpage
Selected papers from this workshop will be considered for inclusion in the special issue.
last modfied 18.04.2004; designer and webmaster: Krzysztof Pszczola