Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Philosophie,Grundlagen der Mathematik, Logik, Mengenlehre |
| Keywords | Nelson's logic, Paraconsistent logic, constructive negation, lattices of logics, modal logic |
Aktuelle Kontaktadresse
| Land | Russische Föderation |
|---|---|
| Ort | Novosibirsk |
| Universität/Institution | Sobolev Institute of Mathematics |
| Institut/Abteilung | Department of mathematical logic |
Gastgeber*innen während der Förderung
| Prof. Dr. Heinrich Wansing | Institut für Philosophie, Technische Universität Dresden, Dresden |
|---|---|
| Beginn der ersten Förderung | 01.02.2002 |
Programm(e)
| 2001 | Humboldt-Forschungsstipendien-Programm |
|---|
Publikationen (Auswahl)
| 2004 | Sergey P. Odintsov, Heinrich Wansing: Constructive Predicate Logic and Constructive Modal Logic. Formal Duality versus Semantical Duality.. In: Dresden Preprints in Theoretical Philosophy and Philosophical Logic, 2004, 1-17 |
|---|---|
| 2003 | Sergey P. Odintsov: 'Reduction ad Absurdum' and Lukasiewicz's Modalities. In: Logic and Logical Philosophy, 2003, 149-166 |
| 2003 | Sergey P. Odintsov: Algebraic Semantics for Paraconsitent Nelson's Logic. In: J. Logic Computat., 2003, 453-468 |
| 2003 | Sergey P. Odintsov, Heinrich Wansing: Inconsistency-tolerant Description Logic: Motivation and Basic Systems. In: V.F. Hendricks, J.Malinowski, Trends in Logic: 50 Years of Studia Logica. Kluwer Academic Publishers, 2003. 301-335 |
| 2002 | Sergey P. Odintsov: On the Embedding of Nelson's Logics. In: Bulletin of the Section of Logic, 2002, 241-248 |
| 2002 | Sergey P. Odintsov: On the Structure of Paraconsistent Extensions of Johansson's Logic (extended abstract). In: CLE-e-prints (ftp://logica.cle.unicamp.br/pub/e-prints/Odintsov.ps), 2002, |