19952018
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Tutkimuksen ja opetuksen kuvaus

philosophical logic, proof theory, inferentialism, modal logic, non-classical logics, conditionals and counterfactuals, formal epistemology

Keywords

  • 611 Filosofia

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Julkaisut 1995 2018

Proof Analysis: A Contribution to Hilbert's Last Problem

Negri, S. & von Plato, J., 2011, Cambridge University Press. 276 Sivumäärä

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

Structural proof theory: with an appendix by Aarne Ranta

Negri, S. & von Plato, J., 2001, Cambridge University Press. 274 Sivumäärä

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

Proof analysis in modal logic

Negri, S., 2005, julkaisussa : Journal of Philosophical Logic. 34, 5-6, s. 507-544 38 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Does the deduction theorem fail for modal logic?

Hakli, R. & Negri, S., 2012, julkaisussa : Synthese. 187, 3, s. 849-867 19 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Palkinnot

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 1997 2019

Unveiling the constructive core of classical theories: A contribution to 90 years of Glivenko's theorem

Sara Negri (Puhuja)
2 toukokuuta 2019

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

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 tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

Third Tübingen Conference on Proof-Theoretic Semantics

Sara Negri (Puhuja: esitelmän pitäjä)
27 maaliskuuta 201931 maaliskuuta 2019

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

A three-fold method for non-classical logics

Sara Negri (Osallistuja)
1 toukokuuta 2019

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitPublic Talks

4th SILFS Postgraduate Conference on Logic and Philosophy of Science

Sara Negri (Osallistuja)
4 kesäkuuta 2019

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen