Giovanni Sambin (sambin)

Contributions to Philosophie.ch

Bibliography

Boolos, George and Sambin, Giovanni. 1985. “An Incomplete System of Modal Logic.” The Journal of Philosophical Logic 14(4): 351–358.
Boolos, George and Sambin, Giovanni. 1991. “Provability: The Emergence of a Mathematical Modality.” Studia Logica: An International Journal for Symbolic Logic 50(1): 1–23.
Cellucci, Carlo and Sambin, Giovanni, eds. 1988a. Atti del Congresso “Temi e Prospettive della Logica e della Filosofia della Scienza Contemporaenee,” Cesena, 7-10 gennaio 1987. Volume I: Logica. Bologna: Cooperativa Libraria Universitaria Editrice (CLUEB).
Cellucci, Carlo and Sambin, Giovanni, eds. 1988b. Atti del Congresso “Temi e Prospettive della Logica e della Filosofia della Scienza Contemporaenee,” Cesena, 7-10 gennaio 1987. Volume II: Filosofia della scienza e fondamenti della probabilità e della statistica. Bologna: Cooperativa Libraria Universitaria Editrice (CLUEB).
Maietti, Maria Emilia and Sambin, Giovanni. 2013. “Why Topology in the Minimalist Foundation Must be Pointfree.” Logic and Logical Philosophy 22(2): 167–199.
Sambin, Giovanni. 1987. “Intuitionistic Formal So aces – A First Communication.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 187–204. New York: Plenum Press.
Sambin, Giovanni. 1993. “The Semantics of Pretopologies.” in Substructural Logics, edited by Peter Schröder-Heister and Kosta Došen, pp. 293–308. Oxford Science Publications. Oxford: Oxford University Press.
Sambin, Giovanni. 2002. “Steps towards a Dynamic Constructivism.” in Logic, Methodology and Philosophy of Science XI: In the Scope of Logic, Methodology and Philosophy of Science: Volume One of the Proceedings of the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999, edited by Peter Gärdenfors, Jan Woleński, and Katarzyna Kijania-Placek, pp. 263–286. Synthese Library n. 315. Dordrecht: Kluwer Academic Publishers.
Sambin, Giovanni. 2011. “A Minimalist Foundation at Work.” in Logic, Mathematics, Philosophy: Vintage Enthusiasms. Essays in Honour of John L. Bell, edited by David DeVidi, Michael Hallett, and Peter Clark, pp. 69–96. The University of Western Ontario Series in Philosophy of Science n. 75. Dordrecht: Springer.
Sambin, Giovanni. 2012. “Real and Ideal in Constructive Mathematics.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 69–86. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.
Sambin, Giovanni, Battilotti, Giulia and Faggian, Claudio. 2000. “Basic Logic: Reflection, Symmetry, Visibility.” The Journal of Symbolic Logic 65(3): 979–1013.
Sambin, Giovanni and Smith, Jan M. 1998. Twenty Five Years of Constructive Type Theory. Oxford Logic Guides n. 36. Oxford: Oxford University Press.
Sambin, Giovanni and Valentini, Silvio. 1980. “A Modal Sequent Calculus for a Fragment of Arithmetic.” Studia Logica: An International Journal for Symbolic Logic 39(2–3): 245–256.
Sambin, Giovanni and Valentini, Silvio. 1982. “The Modal Logic of Provability: The Sequential Approach.” The Journal of Philosophical Logic 11(3): 311–342.