Photo of Sara Negri
  • PL 24 (Unioninkatu 40)

    00014

    Finland

19952018
If you made any changes in Pure these will be visible here soon.

Publications 1995 2018

Filter
Chapter
2016

A system of proof for Lewis counterfactual

Negri, S. & Sbardolini, G., 2016, New Directions in Logic and the Philosophy of Science. College Publications, 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction

Negri, S. & von Plato, J., 2016, Concepts of Proof in Mathematics, Philosophy, and Computer Science. Probst, D. & Schuster, P. (eds.). de Gruyter, p. 269-290 22 p. (Ontos Mathematical Logic; no. 6).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus

Negri, S., Olivetti, N., Girlando, M. & Risch, V., 2016, Advances in Modal Logic. Beklemishev, L., Demri, S. & Máté, A. (eds.). College Publications, Vol. 11. 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2015

Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione

Negri, S., 2015, Le direzioni della ricerca logica in Italia. Hosni, H., Lolli, G. & Toffalori, C. (eds.). Pisa: Edizioni della Scuola Normale Superiore, 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Meaning in use

Negri, S. & von Plato, J., 2015, Dag Prawitz on Proofs and Meaning. Springer, p. 239-258

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2009

Kripke completeness revisited

Negri, S., 2009, Acts of knowledge: history, philosophy and logic editors: Giuseppe Primiero and Shahid Rahman. London: College Publications, p. 233-264 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2008

Decidability for priorean linear time using a fixed-point labelled calculus

Boretti, B. & Negri, S., 2008, Automated reasoning with automated tableaux and related methods: [edited by] Martin Giese, Arild Waaler. New York: Springer, p. 108-122 15 p. (Lecture notes in artificial intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Proof analysis in non-classical logics

Negri, S., 2008, Logic Colloquium 2005. Cambridge: Cambridge University Press, p. 107-128 22 p. (Lecture notes in logic; vol. 28).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Proof theory for distributed knowledge

Hakli, R. & Negri, S., 2008, Computational logic in multi-agent systems: [edited by] Fariba Sadri, Ken Satoh. New York: Springer, p. 100-116 17 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2005

The duality of classical and constructive notions and proofs

Negri, S. & von Plato, J., 2005, From sets and types to topology and analysis. Oxford: CLARENDON PRESS, p. 149-161 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review