Switch to: References

Add citations

You must login to add citations.
  1. Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - forthcoming - Journal of Philosophical Logic: 1 - 26.
    A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2022 - Journal of Philosophical Logic 51 (6):1417-1452.
    Building on early work by Girard ( 1987 ) and using closely related techniques from the proof theory of many-valued logics, we propose a sequent calculus capturing a hierarchy of notions of satisfaction based on the Strong Kleene matrices introduced by Barrio et al. (Journal of Philosophical Logic 49:93–120, 2020 ) and others. The calculus allows one to establish and generalize in a very natural manner several recent results, such as the coincidence of some of these notions with their classical (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations