Switch to: References

Add citations

You must login to add citations.
  1. Editorial Introduction.Francesco Paoli & Gavin St John - 2024 - Studia Logica 112 (6):1201-1214.
    This is the Editorial Introduction to “S.I.: Strong and Weak Kleene Logics”.
    Download  
     
    Export citation  
     
    Bookmark  
  • Finite Hilbert Systems for Weak Kleene Logics.Vitor Greati, Sérgio Marcelino & Umberto Rivieccio - 2024 - Studia Logica 112 (6):1215-1241.
    Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene and Bochvar–Kleene logics, we modify them by replacing the multiple-conclusion rules with carefully selected single-conclusion ones. In this way we manage to introduce the first finite Hilbert-style single-conclusion axiomatizations for these logics.
    Download  
     
    Export citation  
     
    Bookmark