Sara Negri
Title
Cited by
Cited by
Year
Structural Proof Theory
S Negri, J von Plato
Cambridge Univ Press, 2001
580*2001
Proof analysis in modal logic
S Negri
Journal of Philosophical Logic 34 (5), 507-544, 2005
3122005
Proof Analysis: A Contribution to Hilbert's Last Problem
S Negri, J von Plato
Cambridge Univ Press, 2011
1402011
Cut elimination in the presence of axioms
S Negri, J von Plato
Bulletin of Symbolic Logic 4 (04), 418-435, 1998
1291998
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
932003
Proof analysis in intermediate logics
R Dyckhoff, S Negri
Archive for Mathematical Logic 51 (1-2), 71-92, 2012
862012
Does the deduction theorem fail for modal logic?
R Hakli, S Negri
Synthese 187 (3), 849-867, 2012
632012
Proof theory for modal logic
S Negri
Philosophy Compass 6 (8), 523-538, 2011
492011
Kripke completeness revisited
S Negri
Acts of Knowledge: History, Philosophy and Logic: Essays Dedicated to G÷raná…, 2009
482009
Geometrisation of first-order logic
R Dyckhoff, S Negri
Bulletin of Symbolic Logic 21 (2), 123-163, 2015
472015
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
462017
The continuum as a formal space
S Negri, D Soravia
Archive for Mathematical Logic 38 (7), 423-447, 1999
441999
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
441995
Proof analysis beyond geometric theories: from rule systems to systems of rules
S Negri
Journal of Logic and Computation 26 (2), 513-537, 2014
432014
Continuous domains as formal spaces
S Negri
Mathematical Structures in Computer Science 12 (1), 19-52, 2002
432002
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
412000
Sequent calculus proof theory of intuitionistic apartness and order relations
S Negri
Archive for Mathematical Logic 38 (8), 521-547, 1999
391999
Proofs and countermodels in non-classical logics
S Negri
Logica Universalis 8 (1), 25-60, 2014
362014
Proof analysis in non-classical logics
S Negri
Logic Colloquium 28, 107-128, 2005
352005
The Church–Fitch knowability paradox in the light of structural proof theory
P Maffezioli, A Naibo, S Negri
Synthese 190 (14), 2677-2716, 2013
342013
The system can't perform the operation now. Try again later.
Articles 1–20