Follow
Sara Negri
Title
Cited by
Cited by
Year
Structural Proof Theory
S Negri, J von Plato
Cambridge Univ Press, 2001
635*2001
Proof analysis in modal logic
S Negri
Journal of Philosophical Logic 34 (5), 507-544, 2005
3322005
Proof Analysis: A Contribution to Hilbert's Last Problem
S Negri, J von Plato
Cambridge Univ Press, 2011
1592011
Cut elimination in the presence of axioms
S Negri, J von Plato
Bulletin of Symbolic Logic 4 (04), 418-435, 1998
1341998
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
972003
Proof analysis in intermediate logics
R Dyckhoff, S Negri
Archive for Mathematical Logic 51 (1), 71-92, 2012
922012
Does the deduction theorem fail for modal logic?
R Hakli, S Negri
Synthese 187 (3), 849-867, 2012
722012
Biallelic mutations in SORD cause a common and potentially treatable hereditary neuropathy with implications for diabetes
A Cortese, Y Zhu, AP Rebelo, S Negri, S Courel, L Abreu, CJ Bacon, ...
Nature genetics 52 (5), 473-481, 2020
602020
Geometrisation of first-order logic
R Dyckhoff, S Negri
Bulletin of Symbolic Logic 21 (2), 123-163, 2015
542015
Proof theory for modal logic
S Negri
Philosophy Compass 6 (8), 523-538, 2011
522011
Kripke completeness revisited
S Negri
Acts of Knowledge: History, Philosophy and Logic: Essays Dedicated to G÷raná…, 2009
492009
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
482017
The continuum as a formal space
S Negri, D Soravia
Archive for Mathematical Logic 38 (7), 423-447, 1999
471999
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
471995
Proof analysis beyond geometric theories: from rule systems to systems of rules
S Negri
Journal of Logic and Computation 26 (2), 513-537, 2014
462014
Continuous domains as formal spaces
S Negri
Mathematical Structures in Computer Science 12 (1), 19-52, 2002
462002
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
442000
Proofs and countermodels in non-classical logics
S Negri
Logica Universalis 8 (1), 25-60, 2014
402014
Sequent calculus proof theory of intuitionistic apartness and order relations
S Negri
Archive for Mathematical Logic 38 (8), 521-547, 1999
401999
Proof analysis in non-classical logics
S Negri
Logic Colloquium 28, 107-128, 2005
362005
The system can't perform the operation now. Try again later.
Articles 1–20