Paraconsistent logics and their application to philosophy, artificial intelligence and computability

Period 10 January 1997 to 10 June 1999
Type Research Project
Coordinator Diderik Batens
Funding Agencies INTAS, RFBR
Co-operation with Institute of Philosophy of the Russian Academy of Sciences, Logic Centre (Moscow), Moscow State University 'M.V.Lomonosov', Chair of Logic (Moscow), Institute for Logic, Software Systems Research Group (Moscow), and Universität Salzburg, Institut für Philosophie (Salzburg - Prof. Paul Weingartner). Russian researchers: Alexandr Karpenko (Principal Investigator), Evgenij Sidorenko, Vladimir Vasyukov, Juri Ivlev, Vladimir Markin, Helena Smirnova, Evgenij Voijshvillo, Aleksey Smirnov, Aleksey Novodvorski, Vladimir Popov. Outcome for the Russian participants: some 25 presentations in International Conferences and some 50 articles.