10 found
Order:
  1.  2
    A Logic of Non-Monotonic Interactions.Giovanni Boniolo, Marcello DʼAgostino, Mario Piazza & Gabriele Pulcini - 2013 - Journal of Applied Logic 11 (1):52-62.
  2.  5
    A Logical Calculus for Controlled Monotonicity.Marcello D'Agostino, Mario Piazza & Gabriele Pulcini - 2014 - Journal of Applied Logic 12 (4):558-569.
  3.  29
    Adding Logic to the Toolbox of Molecular Biology.Giovanni Boniolo, Marcello D’Agostino, Mario Piazza & Gabriele Pulcini - 2015 - European Journal for Philosophy of Science 5 (3):399-417.
    The aim of this paper is to argue that logic can play an important role in the “toolbox” of molecular biology. We show how biochemical pathways, i.e., transitions from a molecular aggregate to another molecular aggregate, can be viewed as deductive processes. In particular, our logical approach to molecular biology — developed in the form of a natural deduction system — is centered on the notion of Curry-Howard isomorphism, a cornerstone in nineteenth-century proof-theory.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  6
    The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - forthcoming - Erkenntnis:1-25.
    According to the implicit commitment thesis, once accepting a mathematical formal system S, one is implicitly committed to additional resources not immediately available in S. Traditionally, this thesis has been understood as entailing that, in accepting S, we are bound to accept reflection principles for S and therefore claims in the language of S that are not derivable in S itself. It has recently become clear, however, that such reading of the implicit commitment thesis cannot be compatible with well-established positions (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  27
    Possibilities Regained: Neo-Lewisian Contextualism and Ordinary Life.Mario Piazza & Nevia Dolcini - forthcoming - Synthese:1-20.
    According to David Lewis, the predicate ‘knows’ is context-sensitive in the sense that its truth conditions vary across conversational contexts, which stretch or compress the domain of error possibilities to be eliminated by the subject’s evidence. Our concern in this paper is to thematize, assess, and overcome within a neo-Lewisian contextualist project two important mismatches between our use of ‘know’ in ordinary life and the use of ‘know’ by ‘Lewisian’ ordinary speakers. The first mismatch is that Lewisian contextualism still overgenerates (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  34
    Linguistic Applications of First Order Intuitionistic Linear Logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.
    In this paper we will discuss the first order multiplicative intuitionistic fragment of linear logic, MILL1, and its applications to linguistics. We give an embedding translation from formulas in the Lambek Calculus to formulas in MILL1 and show this translation is sound and complete. We then exploit the extra power of the first order fragment to give an account of a number of linguistic phenomena which have no satisfactory treatment in the Lambek Calculus.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  24
    Exchange Rules.Mario Piazza - 2001 - Journal of Symbolic Logic 66 (2):509-516.
    In this paper, we show by a proof-theoretical argument that in a logic without structural rules, that is in noncommutative linear logic with exponentials, every formula A for which exchange rules (and weakening and contraction as well) are admissible is provably equivalent to ?A. This property shows that the expressive power of "noncommutative exponentials" is much more important than that of "commutative exponentials".
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  6
    Uniqueness of Axiomatic Extensions of Cut-Free Classical Propositional Logic.Mario Piazza & Gabriele Pulcini - 2016 - Logic Journal of the IGPL 24 (5).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  12
    Contro l'equilibrio riflessivo.Mario Piazza - 2006 - Rivista di Filosofia 97 (2):209-232.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  10.  1
    Exchange Rules.Mario Piazza - 2001 - Journal of Symbolic Logic 66 (2):509-516.
    In this paper, we show by a proof-theoretical argument that in a logic without structural rules, that is in noncommutative linear logic with exponentials, every formula A for which exchange rules are admissible is provably equivalent to?A. This property shows that the expressive power of "noncommutative exponentials" is much more important than that of "commutative exponentials".
    Direct download  
     
    Export citation  
     
    My bibliography