Switch to: References

Citations of:

Y. L and L. Regnier

In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press (1995)

Add citations

You must login to add citations.
  1. On structural contraction and why it fails.Lucas Rosenblatt - 2019 - Synthese 198 (3):2695-2720.
    The goal of the paper is to discuss whether substructural non-contractive accounts of the truth-theoretic paradoxes can be philosophically motivated. First, I consider a number of explanations that have been offered to justify the failure of contraction and I argue that they are not entirely compelling. I then present a non-contractive theory of truth that I’ve proposed elsewhere. After looking at some of its formal properties, I suggest an explanation of the failure of structural contraction that is compatible with it.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Quine and Slater on paraconsistency and deviance.Francesco Paoli - 2003 - Journal of Philosophical Logic 32 (5):531-548.
    In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism.Yoshihiro Maruyama - 2016 - Synthese 193 (11).
    There are still on-going debates on what exactly is wrong with Prior’s pathological “tonk.” In this article I argue, on the basis of categorical inferentialism, that two notions of inconsistency ought to be distinguished in an appropriate account of tonk; logic with tonk is inconsistent as the theory of propositions, and it is due to the fallacy of equivocation; in contrast to this diagnosis of the Prior’s tonk problem, nothing is actually wrong with tonk if logic is viewed as the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A dilemma for Priest's dialethism?Anthony Everett - 1996 - Australasian Journal of Philosophy 74 (4):657 – 668.
    Download  
     
    Export citation  
     
    Bookmark   2 citations