Sara Negri

Q: What Schools Are Affiliated With Sara Negri

Sara Negri is affiliated with the following schools: University of Genoa, University of Padua, University of Helsinki

Sara Negri's AcademicInfluence.com Rankings

Sara Negri

Philosophy

#2812

World Rank

#4690

Historical Rank

Mathematical Logic

#15

World Rank

#26

Historical Rank

Logic

#2705

World Rank

#3735

Historical Rank

philosophy Degrees

Sara Negri

Mathematics

#5650

World Rank

#7940

Historical Rank

mathematics Degrees

Download Badge

Philosophy
Mathematics

Sara Negri's Degrees

PhD Mathematical Logic University of Helsinki
Masters Mathematics University of Helsinki

Why Is Sara Negri Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Sara Negri is a mathematical logician who studies proof theory. She is Italian, worked in Finland for several years, where she was a professor of theoretical philosophy in the University of Helsinki, and currently holds a position as professor of mathematical logic at the University of Genoa.

(See a Problem?)

Sara Negri's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Structural proof theory (2001) (448)
Proof Analysis in Modal Logic (2005) (316)
Cut Elimination in the Presence of Axioms (1998) (141)
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem (2003) (88)
Proof Theory for Modal Logic (2011) (85)
Proof analysis in intermediate logics (2012) (73)
Does the deduction theorem fail for modal logic? (2012) (65)
Proof Analysis - A Contribution to Hilbert's Last Problem (2011) (63)
Continuous domains as formal spaces (2002) (48)
Proof analysis beyond geometric theories: from rule systems to systems of rules (2016) (43)
Proof Analysis: Frontmatter (2011) (42)
A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals (1995) (38)
Proofs and Countermodels in Non-Classical Logics (2014) (38)
Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results (2017) (37)
The continuum as a formal space (1999) (37)
Proof Analysis: Index of names (2011) (37)
GEOMETRISATION OF FIRST-ORDER LOGIC (2015) (37)
Sequent calculus proof theory of intuitionistic apartness and order relations (1999) (33)
Kripke completeness revisited (2010) (33)
The Church–Fitch knowability paradox in the light of structural proof theory (2013) (32)
Admissibility of structural rules for contraction-free systems of intuitionistic logic (2000) (31)
Proof-theoretical analysis of order relations (2004) (30)
The Hahn-Banach Theorem in Type Theory (1998) (27)
Logic Colloquium 2005: Proof analysis in non-classical logics (2007) (26)
Sequent calculus in natural deduction style (2001) (25)
Countermodels from Sequent Calculi in Multi-Modal Logics (2012) (25)
A normalizing system of natural deduction for intuitionistic linear logic (2002) (24)
Proof Theory for Distributed Knowledge (2008) (22)
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (2015) (22)
Tychonoff's theorem in the framework of formal topologies (1997) (21)
Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi (2018) (21)
Reasoning About Collectively Accepted Group Beliefs (2011) (20)
Proof systems for lattice theory (2004) (19)
PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (2015) (19)
Decision methods for linearly ordered Heyting algebras (2006) (19)
Varieties of Linear Calculi (2002) (15)
Glivenko sequent classes in the light of structural proof theory (2016) (14)
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding (2016) (14)
A proof-theoretical perspective on Public Announcement Logic (2011) (13)
Meaning in Use (2015) (13)
Continous Lattices in Formal Topology (1996) (13)
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus (2016) (11)
Permutability of rules in lattice theory (2002) (10)
The generalized Riemann integral on locally compact spaces (1998) (10)
CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (2018) (9)
Stone bases, alias the constructive content of Stone representation (2017) (9)
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi (2013) (7)
Proof theory for quantified monotone modal logics (2019) (7)
Non-Normal Modal Logics: A Challenge to Proof Theory (2017) (6)
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus (2009) (6)
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction (2016) (5)
A Sequent Calculus for Constructive Ordered Fields (2001) (5)
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics (2019) (5)
Geometric Rules in Infinitary Logic (2019) (5)
Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi (2001) (4)
The duality of lcassical and constructive notions and proofs (2005) (4)
Permutability of Rules for Linear Lattices (2005) (4)
Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic (1995) (4)
The intensional side of algebraic-topological representation theorems (2017) (3)
Uniform Labelled Calculi for Conditional and Counterfactual Logics (2019) (3)
From Kripke Models to Algebraic Counter-Valuations (1998) (3)
Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin? (2018) (3)
Proof Analysis: Preface (2011) (3)
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics (2020) (3)
PESCA – A PROOF EDITOR FOR SEQUENT CALCULUS (by Aarne Ranta) (2001) (2)
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT (2020) (2)
From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (2019) (2)
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic (2021) (1)
Mathesis Universalis, Computability and Proof (2019) (1)
Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472) (2021) (1)
Does the deduction theorem fail for modal logic? (2011) (1)
Theorem Proving for Non-normal Modal Logics (2020) (1)
Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic" (2017) (1)
Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics (2006) (1)
Proof Analysis: Introduction (2011) (1)
Structural Proof Theory: SIMPLE TYPE THEORY AND CATEGORIAL GRAMMAR (2001) (0)
Advances in Modal Logic (2020) (0)
Modal Logic for Induction (2020) (0)
Structural Proof Theory: FROM NATURAL DEDUCTION TO SEQUENT CALCULUS (2001) (0)
Sequent calculi for logics of agency : the deliberative STIT (2019) (0)
Classical and intuitionistic axiomatics (2011) (0)
Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism" (2017) (0)
Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age (2019) (0)
Recent Advances in Proof Systems for Modal Logic (2014) (0)
Sequent Calculus for Intuitionistic Logic (2010) (0)
The Method of Proof Analysis: Background, Developments, New Directions (2012) (0)
Structural Proof Theory: INTERMEDIATE LOGICAL SYSTEMS (2001) (0)
The Church–Fitch knowability paradox in the light of structural proof theory (2012) (0)
Proof Analysis: Order and lattice theory (2011) (0)
Constructive Cut Elimination in Geometric Logic (2021) (0)
Proof Analysis: Proof analysis in elementary geometry (2011) (0)
Proof Analysis: Modal logic (2011) (0)
A Contribution to Hilbert’s Last Problem (2014) (0)
A Contribution to Hilbert’s Last Problem (2014) (0)
Proof Analysis: Linear order (2011) (0)
Proof analysis in intermediate logics (2011) (0)
Structural Proof Theory: BIBLIOGRAPHY (2001) (0)
Alternative Axiomatization for Logics of Agency in a G3 Calculus (2021) (0)
Rules of proof: sequent calculus (2011) (0)
Structural Proof Theory: SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC (2001) (0)
Glivenko sequent classes and constructive cut elimination in geometric logics (2022) (0)
Proof Analysis: Bibliography (2011) (0)
Structural Proof Theory: CONCLUSION: DIVERSITY AND UNITY IN STRUCTURAL PROOF THEORY (2001) (0)
The intensional side of algebraic-topological representation theorems (2017) (0)
Structural Proof Theory: BACK TO NATURAL DEDUCTION (2001) (0)
Proof Analysis: Rules of proof: natural deduction (2011) (0)
Quantified modal logic, provability logic, & other non-classical logics (2011) (0)
Specifying and reasoning with asynchrony:Proof theory of DSL (2010) (0)
Proof Analysis: Prologue: Hilbert's last problem (2011) (0)
PROOF THEORY AND CONSTRUCTIVE TYPE THEORY (2001) (0)
Constructive embeddings of intermediate logics (2011) (0)
Structural Proof Theory: STRUCTURAL PROOF ANALYSIS OF AXIOMATIC THEORIES (2001) (0)
Structural Proof Theory: THE QUANTIFIERS (2001) (0)
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM (2020) (0)
For Oiva Ketonen's 85th birthday (1998) (0)
Theories with existence axioms (2011) (0)
The Poverty in USA: An In-Depth Analysis of the Last Two Decades (2021) (0)
Proofs and Countermodels in Non-Classical Logics (2014) (0)
Structural Proof Theory: VARIANTS OF SEQUENT CALCULI (2001) (0)
Glivenko sequent classes in the light of structural proof theory (2016) (0)

This paper list is powered by the following services:

Other Resources About Sara Negri

en.wikipedia.org

What Schools Are Affiliated With Sara Negri?

Sara Negri is affiliated with the following schools:

Sara Negri's Academic­Influence.com Rankings

Sara Negri's Degrees

Why Is Sara Negri Influential?

Sara Negri's Published Works

Published Works

Other Resources About Sara Negri

What Schools Are Affiliated With Sara Negri?

Sara Negri's AcademicInfluence.com Rankings