Sara Negri
TitleCited byYear
Structural Proof Theory
S Negri, J von Plato
Cambridge Univ Press, 2001
477*2001
Proof analysis in modal logic
S Negri
Journal of Philosophical Logic 34 (5-6), 507, 2005
2702005
Cut elimination in the presence of axioms
S Negri, J von Plato
Bulletin of Symbolic Logic 4 (04), 418-435, 1998
1071998
Proof Analysis: A Contribution to Hilbert's Last Problem
S Negri, J von Plato
Cambridge Univ Press, 2011
1002011
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
792003
Proof analysis in intermediate logics
R Dyckhoff, S Negri
Archive for Mathematical Logic 51 (1-2), 71-92, 2012
742012
Does the deduction theorem fail for modal logic?
R Hakli, S Negri
Synthese 187 (3), 849-867, 2012
522012
Kripke completeness revisited
S Negri
Acts of Knowledge-History, Philosophy and Logic, 247-282, 2009
442009
The continuum as a formal space
S Negri, D Soravia
Archive for Mathematical Logic 38 (7), 423-447, 1999
441999
Proof theory for modal logic
S Negri
Philosophy Compass 6 (8), 523-538, 2011
422011
Continuous domains as formal spaces
S Negri
Mathematical Structures in Computer Science 12 (1), 19-52, 2002
392002
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
392000
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
391995
Geometrisation of first-order logic
R Dyckhoff, S Negri
Bulletin of Symbolic Logic 21 (2), 123-163, 2015
372015
Proof analysis beyond geometric theories: from rule systems to systems of rules
S Negri
Journal of Logic and Computation 26 (2), 513-537, 2014
372014
Sequent calculus proof theory of intuitionistic apartness and order relations
S Negri
Archive for Mathematical Logic 38 (8), 521-547, 1999
361999
Proof analysis in non-classical logics
S Negri
Logic Colloquium 28, 107-128, 2005
332005
The Hahn-Banach theorem in Type Theory
J Cederquist, T Coquand, S Negri
Twenty-Five Years of Constructive Type Theory, 57-72, 1998
331998
Proof theory for non-normal modal logics: The neighbourhood formalism and basic results
S Negri
IFCoLog J. Log. Appl 4, 1241-1286, 2017
292017
Proofs and countermodels in non-classical logics
S Negri
Logica Universalis 8 (1), 25-60, 2014
292014
The system can't perform the operation now. Try again later.
Articles 1–20