Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Sequent Calculi for $${\mathsf {SCI}}$$ SCI.Szymon Chlebowski - 2018 - Studia Logica 106 (3):541-563.
    In this paper we are applying certain strategy described by Negri and Von Plato :418–435, 1998), allowing construction of sequent calculi for axiomatic theories, to Suszko’s Sentential calculus with identity. We describe two calculi obtained in this way, prove that the cut rule, as well as the other structural rules, are admissible in one of them, and we also present an example which suggests that the cut rule is not admissible in the other.
    Download  
     
    Export citation  
     
    Bookmark   1 citation