Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Tutkimuksen ja opetuksen kuvaus
philosophical logic, proof theory, inferentialism, modal logic, non-classical logics, conditionals and counterfactuals, formal epistemology
Tieteenalat
- 611 Filosofia
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.
Julkaisut
Proof Analysis: A Contribution to Hilbert's Last Problem
Negri, S. & von Plato, J., 2011, Cambridge University Press. 276 SivumääräTutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
Structural proof theory: with an appendix by Aarne Ranta
Negri, S. & von Plato, J., 2001, Cambridge University Press. 274 SivumääräTutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
Proof analysis in modal logic
Negri, S., 2005, julkaisussa : Journal of Philosophical Logic. 34, 5-6, s. 507-544 38 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Does the deduction theorem fail for modal logic?
Hakli, R. & Negri, S., 2012, julkaisussa : Synthese. 187, 3, s. 849-867 19 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
The Church–Fitch knowability paradox in the light of structural proof theory
Negri, S., Maffezioli, P. & Naibo, A., 2012, julkaisussa : Synthese. 2012, s. 1-40 40 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Palkinnot
AIIA Best Student Paper Award
Sara Negri (Vastaanottaja), Nicola Olivetti (Vastaanottaja), Tiziano Dalmonte (Vastaanottaja) & Gian Luca Pozzato (Vastaanottaja), 21 marraskuuta 2019
Palkinto: Palkinnot ja kunnianosoitukset
Best Presentation Award - Classical and Non-Classical Logic section
Edi Pavlovic (Vastaanottaja) & Sara Negri (Vastaanottaja), kesäkuuta 2019
Palkinto: Palkinnot ja kunnianosoitukset
Scholar of Consequence 2019
Sara Negri (Vastaanottaja), 1 toukokuuta 2019
Palkinto: Palkinnot ja kunnianosoitukset
Aktiviteetit
PhD Committee member
Sara Negri (Muu rooli (kuvaile kentässä "Roolin kuvaus ja lisätiedot"))7 elokuuta 2019
Aktiviteetti: Tutkimustyypit › Väitöskirjan esitarkastaja
Peter Schuster
Sara Negri (Isäntä)11 joulukuuta 2019 → 15 joulukuuta 2019
Aktiviteetti: Vierailijan isännöinnin tyypit › Isännöity akateeminen vierailu Helsingin yliopistossa
Third Tübingen Conference on Proof-Theoretic Semantics
Sara Negri (Puhuja: esitelmän pitäjä)27 maaliskuuta 2019 → 31 maaliskuuta 2019
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
4th SILFS Postgraduate Conference on Logic and Philosophy of Science
Sara Negri (Osallistuja), Edi Pavlovic (Puhuja: esitelmän pitäjä)4 kesäkuuta 2019
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
IANUA Summer School
Sara Negri (Puhuja: esitelmän pitäjä)12 heinäkuuta 2019
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen