Silvio Valentini (valentini-s)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Ferro, R., Bonotto, Cinzia, Valentini, Silvio and Zanardo, Alberto, eds. 1989. Logic Colloquium ’88, Proceedings of the Colloquium held in Padova Italy, 22-31 August 1988. Studies in Logic and the Foundations of Mathematics n. 127. Amsterdam: North-Holland Publishing Co.
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.
Valentini, Silvio. 1983. “The Modal Logic of Provability: Cut Elimination.” The Journal of Philosophical Logic 12(4): 471–476.