Sara Negri - Selected Publications#

Books:

Negri, Sara and von Plato, Jan: Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press, 2011, paperback 2014.

Negri, Sara and von Plato, Jan: Structural Proof Theory. Cambridge University Press, 2001, paperback 2008.


Articles (since 2013):

M. Girlando, S. Negri, N. Olivetti, and V. Risch. Conditional beliefs: from neighbourhood semantics to sequent calculus. The Review of Symbolic Logic, doi: 10.1017/S1755020318000023.

S. Negri, The intensional side of algebraic-topological representation theorems. Synthese, doi:10.1007/s11229-017-1331-1, 2017.

S. Negri, Proof theory for non-normal modal logics: The neighbourhood formalism and basic results. IfCoLog Journal of Logics and their Applications, Mints’ memorial issue, vol. 4, issue 4, May 2017, pp. 1241–1286.

S. Negri and G. Sbardolini, Proof analysis for Lewis counterfactuals. The Review of Symbolic Logic, vol. 9, pp. 44–75, 2016.

S. Negri, Glivenko sequent classes in the light of structural proof theory. Archive for Mathematical Logic, vol. 55, pp. 461–473, 2016.

S. Negri, Proof analysis beyond geometric theories: from rule systems to systems of rules. Journal of Logic and Computation, vol. 27, pp. 513–537, 2016.

R. Dyckhoff and S. Negri, Geometrization of first-order logic. The Bulletin of Symbolic Logic, vol. 21, pp. 123–163, 2015.

S. Negri, 'Proof analysis beyond geometric theories: from rule systems to systems of rules'. Journal of Logic and Computation, doi: 10.1093/logcom/exu037, 2014.

S. Negri, P. Maffezioli and A. Naibo, The Church-Fitch knowability paradox in the light of structural proof theory. Synthese, vol. 190, pp. 2677–2716, 2013.