Sara Negri

Henkilö

Tutkimuksen ja opetuksen kuvaus

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

Sulje
Lisätietoja affiliaatiostaprofessor at the Filosofian, historian, kulttuurin ja taiteiden tutkimuksen laitos since 1.8.2015

Curriculum Vitae

Valikoidut julkaisut

  1. Proof Analysis: A Contribution to Hilbert's Last Problem

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

    Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

  2. Structural proof theory: with an appendix by Aarne Ranta

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

    Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

  3. Proof analysis in modal logic

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

    Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

  4. 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

  5. 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

Näytä kaikki (70) »

Viimeisimmät aktiviteetit

  1. Mathematical Reviews (Lehti)

    Sara Negri (Arvioitsija (reviewer))
    26 marraskuuta 201829 marraskuuta 2018

    Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKäsikirjoitusten vertaisarviointi

  2. Workshop: Proofs and Computation

    Sara Negri (Osallistuja)
    2 heinäkuuta 20186 heinäkuuta 2018

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

  3. Hausdorff Research Institute for Mathematics

    Sara Negri (Vieraileva tutkija)
    8 kesäkuuta 20187 heinäkuuta 2018

    Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypitAkateeminen vierailu toiseen organisaatioon

Näytä kaikki (114) »

ID: 8446