If you made any changes in Pure these will be visible here soon.

Personal profile

Description of research and teaching

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

Keywords

  • 611 Philosophy
  • Philosophical Logic
  • Modal Logic
  • Non-classical Logic
  • Proof Theory
  • Constructivism
  • Formal Epistemology

International and National Collaboration Publications and projects within past five years.

Publications 1995 2018

Proof Analysis: A Contribution to Hilbert's Last Problem

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

Research output: Book/ReportBookScientificpeer-review

Structural proof theory: with an appendix by Aarne Ranta

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

Research output: Book/ReportBookScientificpeer-review

Proof analysis in modal logic

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

Research output: Contribution to journalArticleScientificpeer-review

Does the deduction theorem fail for modal logic?

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

Research output: Contribution to journalArticleScientificpeer-review

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

Negri, S., Maffezioli, P. & Naibo, A., 2012, In : Synthese. 2012, p. 1-40 40 p.

Research output: Contribution to journalArticleScientificpeer-review

Prizes

Best Presentation Award - Classical and Non-Classical Logic section

Edi Pavlovic (Recipient) & Sara Negri (Recipient), Jun 2019

Prize: Prizes and awards

Scholar of Consequence 2019

Sara Negri (Recipient), 1 May 2019

Prize: Prizes and awards

Activities 1997 2019

4th SILFS Postgraduate Conference on Logic and Philosophy of Science

Sara Negri (Attendee), Edi Pavlovic (Speaker: Presenter)
4 Jun 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Third Tübingen Conference on Proof-Theoretic Semantics

Sara Negri (Speaker: Presenter)
27 Mar 201931 Mar 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

A three-fold method for non-classical logics

Sara Negri (Attendee)
1 May 2019

Activity: Participating in or organising an event typesPublic Talks

4th SILFS Postgraduate Conference on Logic and Philosophy of Science

Sara Negri (Attendee)
4 Jun 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars