Sara Negri

Cited by

	All	Since 2018
Citations	2952	1284
h-index	28	15
i10-index	48	27

320

160

240

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 18 20 12 19 18 28 16 50 36 49 50 73 89 107 90 117 169 180 225 184 204 251 221 308 271 29

Public access

View all

15 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Jan von PlatoUniversity of HelsinkiVerified email at helsinki.fi
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerified email at st-andrews.ac.uk
Raul HakliUniversity of HelsinkiVerified email at helsinki.fi
Tiziano DalmonteFree University of Bozen-BolzanoVerified email at unibz.it
Jan CederquistInstituto Superior Técnico, University of LisbonVerified email at tecnico.ulisboa.pt
Paolo MaffezioliUniversity of TorinoVerified email at unito.it
Marianna GirlandoInria Saclay - Ile de France and LIX, École PolytechniqueVerified email at inria.fr
Giorgio SbardoliniILLC, University of AmsterdamVerified email at uva.nl
Eugenio Orlandelliuniversità di bolognaVerified email at unibo.it
Abbas EdalatDepartment of Computing, Imperial College LondonVerified email at ic.ac.uk
Gian Luca PozzatoRicercatore di Informatica, Università di TorinoVerified email at di.unito.it
Alberto NaiboAssociate Professor, University Paris 1 Panthéon-SorbonneVerified email at univ-paris1.fr
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Silvio ValentiniUniversità di PadovaVerified email at math.unipd.it
Rineke VerbruggeProf. Logic and Cognition, Bernoulli Instite, Dept. Artificial Intelligence, University of GroningenVerified email at rug.nl
Gabriel SanduProfessor of philosophy, University of HelsinkiVerified email at helsinki.fi
Deniz SarikayaVrije Universiteit BrusselVerified email at vub.be
Aarne RantaProfessor of Computer Science, University of GothenburgVerified email at chalmers.se

Sara Negri

University of Genoa

Verified email at unige.it - Homepage

structural proof theory geometric logic modal and non-classical logics labelled deduction formal epistemology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Structural Proof Theory S Negri, J von Plato Cambridge Univ Press, 2001	673*	2001
Proof analysis in modal logic S Negri Journal of Philosophical Logic 34, 507-544, 2005	348	2005
Proof Analysis: A Contribution to Hilbert's Last Problem S Negri, J von Plato Cambridge Univ Press, 2011	166	2011
Cut elimination in the presence of axioms S Negri, J von Plato Bulletin of Symbolic Logic 4 (04), 418-435, 1998	142	1998
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem S Negri Archive for Mathematical Logic 42 (4), 389-401, 2003	101	2003
Proof analysis in intermediate logics R Dyckhoff, S Negri Archive for Mathematical Logic 51 (1-2), 71-92, 2012	96	2012
Does the deduction theorem fail for modal logic? R Hakli, S Negri Synthese 187 (3), 849-867, 2012	80	2012
Proof theory for modal logic S Negri Philosophy Compass 6 (8), 523-538, 2011	58	2011
Geometrisation of first-order logic R Dyckhoff, S Negri Bulletin of Symbolic Logic 21 (2), 123-163, 2015	55	2015
Kripke completeness revisited S Negri Acts of Knowledge: History, Philosophy and Logic: Essays Dedicated to Göran …, 2009	52	2009
Proof theory for non-normal modal logics: The neighbourhood formalism and basic results S Negri IfCoLog Journal of Logics and their Applications 4 (4), 1241-1286, 2017	49	2017
Proof analysis beyond geometric theories: from rule systems to systems of rules S Negri Journal of Logic and Computation 26 (2), 513-537, 2014	49	2014
Continuous domains as formal spaces S Negri Mathematical Structures in Computer Science 12 (1), 19-52, 2002	49	2002
A constructive proof of the Heine-Borel covering theorem for formal reals J Cederquist¹, S Negri Types for Proofs and Programs: International Workshop, TYPES'95, Torino …, 1996	49	1996
The continuum as a formal space S Negri, D Soravia Archive for Mathematical Logic 38, 423-447, 1999	48	1999
Admissibility of structural rules for contraction-free systems of intuitionistic logic R Dyckhoff, S Negri The Journal of Symbolic Logic 65 (4), 1499-1518, 2000	45	2000
Proofs and countermodels in non-classical logics S Negri Logica Universalis 8, 25-60, 2014	44	2014
Sequent calculus proof theory of intuitionistic apartness and order relations S Negri Archive for Mathematical Logic 38 (8), 521-547, 1999	42	1999
Proof analysis in non-classical logics S Negri Logic Colloquium 28, 107-128, 2005	38	2005
Proof-theoretical analysis of order relations S Negri, J von Plato, T Coquand Archive for mathematical logic 43 (3), 297-309, 2004	36	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors