Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/valentini-s

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.