Logic List Mailing Archive

CfP: Special Issue of Studia Logica on Negation in Constructive Logic

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 

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:

Selected papers from this workshop will be considered for inclusion in the
special issue.