Foto på Sara Negri
  • PL 24 (Unioninkatu 40)

    00014

    Finland

19952018
Om du gjort några ändringar i Pure kommer de visas här snart.

Personlig profil

Information om forskning och undervisning

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

Vetenskapsgrenar

  • 611 Filosofi

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer 1995 2018

Proof Analysis: A Contribution to Hilbert's Last Problem

Negri, S. & von Plato, J., 2011, Cambridge University Press. 276 s.

Forskningsoutput: Bok/rapportBokVetenskapligPeer review

Structural proof theory: with an appendix by Aarne Ranta

Negri, S. & von Plato, J., 2001, Cambridge University Press. 274 s.

Forskningsoutput: Bok/rapportBokVetenskapligPeer review

Proof analysis in modal logic

Negri, S., 2005, I : Journal of Philosophical Logic. 34, 5-6, s. 507-544 38 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Does the deduction theorem fail for modal logic?

Hakli, R. & Negri, S., 2012, I : Synthese. 187, 3, s. 849-867 19 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

The Church–Fitch knowability paradox in the light of structural proof theory

Negri, S., Maffezioli, P. & Naibo, A., 2012, I : Synthese. 2012, s. 1-40 40 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Priser

Best Presentation Award - Classical and Non-Classical Logic section

Edi Pavlovic (!!Recipient) & Sara Negri (!!Recipient), jun 2019

Pris: Pris och hedersbetygelser

Scholar of Consequence 2019

Sara Negri (!!Recipient), 1 maj 2019

Pris: Pris och hedersbetygelser

Aktiviteter 1997 2019

CLMPST2019

Sara Negri (Närvarande), Edi Pavlovic (Talare: Presentation)
9 aug 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

4th SILFS Postgraduate Conference on Logic and Philosophy of Science

Sara Negri (Närvarande)
4 jun 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

26th Workshop on Logic, Language, Information and Computation

Sara Negri (Närvarande), Marianna Girlando (Talare: Presentation)
2 jul 20195 jul 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Extending the scope of Glivenko’s theorem

Sara Negri (!!Speaker)
9 aug 2019

Aktivitet: Typer för tal eller presentation!!Oral presentation

Workshop "Proof theory in logic"

Sara Negri (Talare: Presentation)
1 jul 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium