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

Nicola Olivetti (olivetti-n)

Contributi a Philosophie.ch

No contributions yet

Bibliography

    Gabbay, Dov M. and Olivetti, Nicola. 1998. Algorithmic Proof Methods and Cut Elimination for Implicational Logics, Part I: Modal Implication.” Studia Logica: An International Journal for Symbolic Logic 61(2): 237–280.
    Gabbay, Dov M. and Olivetti, Nicola. 2002. Goal-Directed Deductions.” in Handbook of Philosophical Logic, Volume IX, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 199–286. Dordrecht: Springer.
    Giordano, Laura, Gliozzi, Valentina and Olivetti, Nicola. 2002. Iterated Belief Revision and Conditional Logic.” Studia Logica: An International Journal for Symbolic Logic 68(1): 23–47.
    Girlando, Marianna, Negri, Sara, Olivetti, Nicola and Risch, Vincent. 2016. The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 322–341. London: King’s College Publications.
    Metcalfe, George, Olivetti, Nicola and Gabbay, Dov M. 2009. Proof Theory for Fuzzy Logic. Cham, Switzerland: Springer.
    Olivetti, Nicola. 1999. Tableaux for Nonmonotonic Logics.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 469–528. Berlin: Springer.
    Olivetti, Nicola and Terracini, Lea. 1992. N-Prolog and Equivalence of Logic Programs: Part I.” Journal of Logic, Language, and Information 1(4): 253–340.