WebOct 17, 2024 · The first introduction to cover structural as well as ordinal proof theory; Provides fully worked out theorems with detailed examples; Assumes an elementary level of background in logic, providing an accessible introduction to the topic $ 35.00. Paperback. Published: 17 October 2024. 432 Pages . 9.2 x 6.1 inches . Sara Negri (born January 21, 1967) 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 more Negri was born in Padua, and studied at the University of Padua. She earned a master's degree there in 1991 and a Ph.D. in 1996, both in mathematics. Her dissertation, Dalla Topologia Formale all'Analisi, was … See more • Sara Negri publications indexed by Google Scholar See more Negri was elected to the Academia Europaea in 2024. See more Negri is the co-author, with Jan von Plato, of two books: • Structural Proof Theory (Cambridge University Press, 2001) • Proof Analysis: A Contribution to … See more
Sara Negri, Proof Theory for Modal Logic - PhilPapers
Web27. Sara Negri. University of Genoa. Verified email at unige.it - Homepage. structural proof theory geometric logic modal and non-classical logics labelled deduction formal … WebSep 29, 2011 · Sara Negri is Docent of Logic at the University of Helsinki. She is the author of Structural Proof Theory (Cambridge University Press, 2001, with Jan von Plato) and she … breaking public news
Handbook of Proof Theory - University of California, San Diego
WebProof theory for modal logic Sara Negri Department of Philosophy 00014 University of Helsinki, Finland e-mail: sara.negri@helsinki.fi Abstract The axiomatic presentation of modal systems and the standard formula-tions of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these ... WebCambridge University Press 978-0-521-06842-0 - Structural Proof Theory Sara Negri and Jan von Plato More information © Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-06842-0 - Structural Proof Theory Sara Negri and Jan von Plato Frontmatter More information WebHandbook Proof Theory Elsevier, Amsterdam, 1998, 811+x pages. Table of contents: An Introduction to Proof Theory. Samuel R. Buss. First-Order Theory of Arithmetic. Samuel R. … cost of ice