Switch to: References

Add citations

You must login to add citations.
  1. Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study.Dorota Leszczyńska-Jasion, Mateusz Ignaszak & Szymon Chlebowski - 2019 - Studia Logica 107 (2):313-349.
    This paper presents Rasiowa–Sikorski deduction systems for logics \, \, \ and \. For each of the logics two systems are developed: an R–S system that can be supplemented with admissible cut rule, and a \-version of R–S system in which the non-admissible rule of cut is the only branching rule. The systems are presented in a Smullyan-like uniform notation, extended and adjusted to the aims of this paper. Completeness is proved by the use of abstract refutability properties which are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs.Aleksandra Grzelak & Dorota Leszczyńska-Jasion - 2018 - Logic Journal of the IGPL 26 (1):109-148.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Tableau reductions: Towards an optimal decision procedure for the modal necessity.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora - 2016 - Journal of Applied Logic 17:14-24.
    Download  
     
    Export citation  
     
    Bookmark