Sara Negri

Cited by

	All	Since 2016
Citations	2454	1200
h-index	25	17
i10-index	44	28

300

150

225

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202111 10 20 12 21 23 37 29 65 48 56 51 71 94 108 93 116 157 176 238 204 198 286 273 1

Co-authors

Jan von PlatoUniversity of HelsinkiVerified email at helsinki.fi
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerified email at st-andrews.ac.uk
Aarne RantaProfessor of Computer Science, University of GothenburgVerified email at chalmers.se
Raul HakliUniversity of HelsinkiVerified email at helsinki.fi
Jan CederquistInstituto Superior Técnico, University of LisbonVerified email at tecnico.ulisboa.pt
Paolo MaffezioliUniversity of BarcelonaVerified email at ub.edu
Marianna GirlandoInria Saclay - Ile de France and LIX, École PolytechniqueVerified email at inria.fr
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
Eugenio Orlandelliuniversità di bolognaVerified email at unibo.it
Deniz SarikayaPhD-StudentVerified email at uni-hamburg.de
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

Sara Negri

University of Genova

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	549*	2001
Proof analysis in modal logic S Negri Journal of Philosophical Logic 34 (5-6), 507, 2005	302	2005
Proof Analysis: A Contribution to Hilbert's Last Problem S Negri, J von Plato Cambridge Univ Press, 2011	126	2011
Cut elimination in the presence of axioms S Negri, J von Plato Bulletin of Symbolic Logic 4 (04), 418-435, 1998	118	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	89	2003
Proof analysis in intermediate logics R Dyckhoff, S Negri Archive for Mathematical Logic 51 (1-2), 71-92, 2012	80	2012
Does the deduction theorem fail for modal logic? R Hakli, S Negri Synthese 187 (3), 849-867, 2012	59	2012
Kripke completeness revisited S Negri Acts of Knowledge-History, Philosophy and Logic, 247-282, 2009	48	2009
Proof theory for modal logic S Negri Philosophy Compass 6 (8), 523-538, 2011	47	2011
The continuum as a formal space S Negri, D Soravia Archive for Mathematical Logic 38 (7), 423-447, 1999	45	1999
Geometrisation of first-order logic R Dyckhoff, S Negri Bulletin of Symbolic Logic 21 (2), 123-163, 2015	43	2015
Continuous domains as formal spaces S Negri Mathematical Structures in Computer Science 12 (1), 19, 2002	43	2002
Proof theory for non-normal modal logics: The neighbourhood formalism and basic results S Negri IfCoLog J. Log. Appl 4 (4), 1241-1286, 2017	41	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	41	2014
Admissibility of structural rules for contraction-free systems of intuitionistic logic R Dyckhoff, S Negri Journal of Symbolic Logic, 1499-1518, 2000	41	2000
A constructive proof of the Heine-Borel covering theorem for formal reals J Cederquist, S Negri International Workshop on Types for Proofs and Programs, 62-75, 1995	41	1995
Sequent calculus proof theory of intuitionistic apartness and order relations S Negri Archive for Mathematical Logic 38 (8), 521-547, 1999	38	1999
Proofs and countermodels in non-classical logics S Negri Logica Universalis 8 (1), 25-60, 2014	34	2014
The Church–Fitch knowability paradox in the light of structural proof theory P Maffezioli, A Naibo, S Negri Synthese 190 (14), 2677-2716, 2013	34	2013
Proof analysis in non-classical logics S Negri Logic Colloquium 28, 107-128, 2005	34	2005

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

Upload PDF

Follow this author

Cited by

Co-authors