Riccardo Bruni
University of Florence
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Riccardo Bruni.
Studia Logica | 2013
Riccardo Bruni
The paper introduces Hilbert– and Gentzen-style calculi which correspond to systems
Journal of Philosophical Logic | 2018
Riccardo Bruni; Giacomo Sillari
Logica Universalis | 2013
Riccardo Bruni
{\mathsf{C}_{n}}
Review of Symbolic Logic | 2009
Riccardo Bruni
Archive | 2015
Riccardo Bruni
from Gupta and Belnap [3]. Systems
Annali del Dipartimento di Filosofia | 2009
Riccardo Bruni
Annali del Dipartimento di Filosofia | 2004
Riccardo Bruni
{\mathsf{C}_{n}}
Archive | 2007
Andrea Cantini; Riccardo Bruni
Stanford Encyclopedia of Philosophy | 2017
Andrea Cantini; Riccardo Bruni
were shown to be sound and complete with respect to the semantics of finite revision. Here, it is shown that Gentzen-style systems
Archive | 2017
Riccardo Bruni
