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.