Follow
Sara Negri
Title
Cited by
Cited by
Year
Structural Proof Theory (with an appendix by Aarne Ranta)
S Negri, J von Plato
Cambridge Univ Press, 2001
796*2001
Proof analysis in modal logic
S Negri
Journal of Philosophical Logic 34, 507-544, 2005
4102005
Proof Analysis: A Contribution to Hilbert's Last Problem
S Negri, J von Plato
Cambridge Univ Press, 2011
1962011
Cut elimination in the presence of axioms
S Negri, J von Plato
Bulletin of Symbolic Logic 4 (04), 418-435, 1998
1571998
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
1202003
Proof analysis in intermediate logics
R Dyckhoff, S Negri
Archive for Mathematical Logic 51, 71-92, 2012
1162012
Does the deduction theorem fail for modal logic?
R Hakli, S Negri
Synthese 187 (3), 849-867, 2012
932012
Geometrisation of first-order logic
R Dyckhoff, S Negri
Bulletin of Symbolic Logic 21 (2), 123-163, 2015
712015
Proof theory for modal logic
S Negri
Philosophy Compass 6 (8), 523-538, 2011
702011
Kripke completeness revisited
S Negri
Acts of Knowledge: History, Philosophy and Logic: Essays Dedicated to Göran …, 2009
672009
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
582017
Proof analysis beyond geometric theories: from rule systems to systems of rules
S Negri
Journal of Logic and Computation 26 (2), 513-537, 2014
572014
Proofs and countermodels in non-classical logics
S Negri
Logica Universalis 8, 25-60, 2014
572014
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
522000
The continuum as a formal space
S Negri, D Soravia
Archive for Mathematical Logic 38, 423-447, 1999
521999
Continuous domains as formal spaces
S Negri
Mathematical Structures in Computer Science 12 (1), 19-52, 2002
512002
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
501995
The Church–Fitch knowability paradox in the light of structural proof theory
P Maffezioli, A Naibo, S Negri
Synthese 190 (14), 2677-2716, 2013
482013
Proof analysis in non-classical logics
S Negri
Logic Colloquium 5, 107-128, 2008
462008
Sequent calculus proof theory of intuitionistic apartness and order relations
S Negri
Archive for Mathematical Logic 38 (8), 521-547, 1999
431999
The system can't perform the operation now. Try again later.
Articles 1–20