Forskningsresultat per år
Forskningsresultat per år
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.
-
Proof Analysis: A Contribution to Hilbert's Last Problem
Negri, S. & von Plato, J., 2011, Cambridge University Press. 276 s.Forskningsoutput: Bok/rapport › Bok › Vetenskaplig › Peer review
-
Structural proof theory: with an appendix by Aarne Ranta
Negri, S. & von Plato, J., 2001, Cambridge University Press. 274 s.Forskningsoutput: Bok/rapport › Bok › Vetenskaplig › Peer review
-
Proof analysis in modal logic
Negri, S., 2005, I: Journal of Philosophical Logic. 34, 5-6, s. 507-544 38 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Does the deduction theorem fail for modal logic?
Hakli, R. & Negri, S., 2012, I: Synthese. 187, 3, s. 849-867 19 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer 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: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Priser
-
AIIA Best Student Paper Award
Negri, Sara (!!Recipient), Olivetti, Nicola (!!Recipient), Dalmonte, Tiziano (!!Recipient) & Pozzato, Gian Luca (!!Recipient), 21 nov. 2019
Pris: Pris och hedersbetygelser
-
Best Presentation Award - Classical and Non-Classical Logic section
Pavlovic, Edi (!!Recipient) & Negri, Sara (!!Recipient), juni 2019
Pris: Pris och hedersbetygelser
-
Aktiviteter
-
A proof-theoretic approach to formal epistemology
Edi Pavlovic (!!Speaker) & Sara Negri (!!Speaker)
21 sep. 2020Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Mathematisches Forschungsinstitut Oberwolfach
Sara Negri (Besökande forskare)
8 nov. 2020 → 15 nov. 2020Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
4th SILFS Postgraduate Conference on Logic and Philosophy of Science
Sara Negri (Närvarande)
4 juni 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Extending the scope of Glivenko’s theorem
Sara Negri (!!Speaker)
9 aug. 2019Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
A three-fold method for non-classical logics
Sara Negri (Närvarande)
1 maj 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Public Talks