Switch to: References

Add citations

You must login to add citations.
  1. Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.Ariel Jonathan Roffé & Federico Pailos - 2021 - Australasian Journal of Logic 3.
    In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Expressing Consistency Consistently.Lucas Rosenblatt - 2021 - Thought: A Journal of Philosophy 10 (1):33-41.
    Thought: A Journal of Philosophy, EarlyView.
    Download  
     
    Export citation  
     
    Bookmark