8 found
Sort by:
  1. Rebecca M. Hall, Tong Sun & Mauro Ferrari (2012). A Portrait of Nanomedicine and Its Bioethical Implications. Journal of Law, Medicine and Ethics 40 (4):763-779.
    This review addresses the current and future potential of nanomedicine, and its ethical considerations within the comprehensive framework of the four dimensions of medical ethics: Beneficence, Non-Maleficence, Respect, and Justice. From this perspective, the ethical considerations for nanomedicine are not novel, but have been addressed by precedents throughout the history of medicine. While these ethical challenges are not unique to nanomedicine, some require additional consideration, given the envisioned pervasive impact of nanomedicine on society.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Mauro Ferrari, Camillo Fiorentini & Guido Fiorino (2009). A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications. Journal of Applied Non-Classical Logics 19 (2):149-166.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Mauro Ferrari, Camillo Fiorentini & Guido Fiorino (2004). A Secondary Semantics for Second Order Intuitionistic Propositional Logic. Mathematical Logic Quarterly 50 (2):202-210.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Mauro Ferrari & Camillo Fiorentini (2003). A Proof-Theoretical Analysis of Semiconstructive Intermediate Theories. Studia Logica 73 (1):21 - 49.
    In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational procedures (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Mauro Ferrari (1997). Cut-Free Tableau Calculi for Some Intuitionistic Modal Logics. Studia Logica 59 (3):303-330.
    In this paper we provide cut-free tableau calculi for the intuitionistic modal logics IK, ID, IT, i.e. the intuitionistic analogues of the classical modal systems K, D and T. Further, we analyse the necessity of duplicating formulas to which rules are applied. In order to develop these calculi we extend to the modal case some ideas presented by Miglioli, Moscato and Ornaghi for intuitionistic logic. Specifically, we enlarge the language with the new signs Fc and CR near to the usual (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Mauro Ferrari & Pierangelo Miglioli (1995). A Method to Single Out Maximal Propositional Logics with the Disjunction Property I. Annals of Pure and Applied Logic 76 (1):1-46.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Mauro Ferrari & Pierangelo Miglioli (1995). A Method to Single Out Maximal Propositional Logics with the Disjunction Property II. Annals of Pure and Applied Logic 76 (2):117-168.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Mauro Ferrari & Pierangelo Miglioli (1993). Counting the Maximal Intermediate Constructive Logics. Journal of Symbolic Logic 58 (4):1365-1401.
    A proof is given that the set of maximal intermediate propositional logics with the disjunction property and the set of maximal intermediate predicate logics with the disjunction property and the explicit definability property have the power of continuum. To prove our results, we introduce various notions which might be interesting by themselves. In particular, we illustrate a method to generate wide sets of pairwise "constructively incompatible constructive logics". We use a notion of "semiconstructive" logic and define wide sets of "constructive" (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation