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
Samarbeten och ledande forskningsområden under 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, S. (!!Recipient), Olivetti, N. (!!Recipient), Dalmonte, T. (!!Recipient) & Pozzato, G. L. (!!Recipient), 21 nov. 2019
Pris: Pris och hedersbetygelser
-
Best Presentation Award - Classical and Non-Classical Logic section
Pavlovic, E. (!!Recipient) & Negri, S. (!!Recipient), juni 2019
Pris: Pris och hedersbetygelser
-
Aktiviteter
-
A proof-theoretic approach to formal epistemology
Pavlovic, E. (!!Speaker) & Negri, S. (!!Speaker)
21 sep. 2020Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Mathematisches Forschungsinstitut Oberwolfach
Negri, S. (Besökande forskare)
8 nov. 2020 → 15 nov. 2020Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Associazione Italiana di Logica e sue Applicazioni (Extern organisation)
Negri, S. (Medlem)
1 juli 2019 → 15 nov. 2019Aktivitet: Medlemskapstyper › Medlemskap eller annan roll i granskningskommitté
-
Syntax for semantics
Negri, S. (!!Invited speaker)
12 aug. 2019Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
4th SILFS Postgraduate Conference on Logic and Philosophy of Science
Negri, S. (Närvarande) & Pavlovic, E. (Talare: Presentation)
4 juni 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium