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.