Sara Negri 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	3433	1537
h 指数	29	17
i10 指数	51	33

320

160

240

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 11 21 11 22 18 29 16 51 35 48 68 75 73 113 87 113 172 185 223 188 198 269 210 287 265 317 189

开放获取的出版物数量

查看全部

16 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Jan von PlatoUniversity of Helsinki在 helsinki.fi 的电子邮件经过验证
Roy DyckhoffHon. Senior Lecturer, St Andrews University在 st-andrews.ac.uk 的电子邮件经过验证
Marianna GirlandoILLC, University of Amsterdam在 uva.nl 的电子邮件经过验证
Raul HakliUniversity of Helsinki在 helsinki.fi 的电子邮件经过验证
Tiziano DalmonteFree University of Bozen-Bolzano在 unibz.it 的电子邮件经过验证
Paolo MaffezioliUniversidad Complutense de Madrid在 ucm.es 的电子邮件经过验证
Jan CederquistInstituto Superior Técnico, University of Lisbon在 tecnico.ulisboa.pt 的电子邮件经过验证
Giorgio SbardoliniILLC, University of Amsterdam在 uva.nl 的电子邮件经过验证
Eugenio Orlandelliuniversità di bologna在 unibo.it 的电子邮件经过验证
Abbas EdalatDepartment of Computing, Imperial College London在 ic.ac.uk 的电子邮件经过验证
Gian Luca PozzatoRicercatore di Informatica, Università di Torino在 di.unito.it 的电子邮件经过验证
Alberto NaiboAssociate Professor, University Paris 1 Panthéon-Sorbonne在 univ-paris1.fr 的电子邮件经过验证
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
Silvio ValentiniUniversità di Padova在 math.unipd.it 的电子邮件经过验证
Deniz SarikayaVrije Universiteit Brussel and Universität zu Lübeck在 vub.be 的电子邮件经过验证
Rineke VerbruggeProf. Logic and Cognition, Bernoulli Instite, Dept. Artificial Intelligence, University of Groningen在 rug.nl 的电子邮件经过验证
Gabriel SanduProfessor of philosophy, University of Helsinki在 helsinki.fi 的电子邮件经过验证
Aarne RantaProfessor of Computer Science, University of Gothenburg在 chalmers.se 的电子邮件经过验证

关注

Sara Negri

University of Genoa

在 unige.it 的电子邮件经过验证 - 首页

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Structural Proof Theory (with an appendix by Aarne Ranta) S Negri, J von Plato Cambridge Univ Press, 2001	776*	2001
Proof analysis in modal logic S Negri Journal of Philosophical Logic 34, 507-544, 2005	403	2005
Proof Analysis: A Contribution to Hilbert's Last Problem S Negri, J von Plato Cambridge Univ Press, 2011	192	2011
Cut elimination in the presence of axioms S Negri, J von Plato Bulletin of Symbolic Logic 4 (04), 418-435, 1998	156	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	120	2003
Proof analysis in intermediate logics R Dyckhoff, S Negri Archive for Mathematical Logic 51, 71-92, 2012	114	2012
Does the deduction theorem fail for modal logic? R Hakli, S Negri Synthese 187 (3), 849-867, 2012	92	2012
Geometrisation of first-order logic R Dyckhoff, S Negri Bulletin of Symbolic Logic 21 (2), 123-163, 2015	68	2015
Proof theory for modal logic S Negri Philosophy Compass 6 (8), 523-538, 2011	68	2011
Kripke completeness revisited S Negri Acts of Knowledge: History, Philosophy and Logic: Essays Dedicated to Göran …, 2009	65	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	58	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	56	2014
Proofs and countermodels in non-classical logics S Negri Logica Universalis 8, 25-60, 2014	55	2014
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	52	2000
The continuum as a formal space S Negri, D Soravia Archive for Mathematical Logic 38, 423-447, 1999	52	1999
Continuous domains as formal spaces S Negri Mathematical Structures in Computer Science 12 (1), 19-52, 2002	51	2002
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	49	1995
The Church–Fitch knowability paradox in the light of structural proof theory P Maffezioli, A Naibo, S Negri Synthese 190 (14), 2677-2716, 2013	47	2013
Proof analysis in non-classical logics S Negri Logic Colloquium 5, 107-128, 2008	45	2008
Sequent calculus proof theory of intuitionistic apartness and order relations S Negri Archive for Mathematical Logic 38 (8), 521-547, 1999	43	1999

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用