Stefania Centrone

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
\textit{Becker's rule} is not Becker's rule	2025-02-04	Paper
Temporal Logic	2023-07-04	Paper
Oskar Becker and the modal translation of intuitionistic logic	2022-10-28	Paper
Conceptions of Proof from Aristotle to Gentzen’s Calculi Proof and Computation II	2022-06-17	Paper
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis Synthese Library	2021-10-26	Paper
Introduction: Mathesis Universalis, Proof and Computation Mathesis Universalis, Computability and Proof	2020-08-10	Paper
EARLY BOLZANO ON<i>GROUND-CONSEQUENCE</i>PROOFS The Bulletin of Symbolic Logic	2017-05-26	Paper
Studies on Bolzano	2017-03-03	Paper
Mirja Hartimo ed. Phenomenology and Mathematics. Phaenomenologia; 195. Dordrecht: Springer, 2010. ISBN 978-90-481-3728-2 (hbk); 978-90-481-3728-2 (e-book); 978-94-007-3196-7 (pbk). Pp. xxv + 222 Philosophia Mathematica	2015-04-17	Paper
The problem of apagogic proof in Bolzano's \textit{Contributions} and his \textit{Theory of science} History and Philosophy of Logic	2015-03-25	Paper
The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein History and Philosophy of Logic	2015-03-25	Paper
Notes on Mally's deontic logic and the collapse of \textit{Seinsollen} and \textit{Sein} Synthese	2015-01-08	Paper
Book review of: E. Morscher, Normenlogik. Grundlagen -- Systeme -- Anwendungen The Bulletin of Symbolic Logic	2014-10-21	Paper
Strong proofs and the prohibition of \textit{metábasis eis állo génos}. An investigation into Bernard Bolzano's \textit{Beyträge zu einer begründeten Darstellung der Mathematik} History and Philosophy of Logic	2013-04-18	Paper
Functions in Frege, Bolzano and Husserl History and Philosophy of Logic	2011-07-29	Paper
Logic and philosophy of mathematics in the early Husserl Synthese Library	2010-01-08	Paper
Husserl on the ‘Totality of all conceivable arithmetical operations’ History and Philosophy of Logic	2007-03-30	Paper

Research outcomes over time

This page was built for person: Stefania Centrone