Switch to: References

Add citations

You must login to add citations.
  1. Jerzy słupecki (1904–1987): Life and work.Jan Woleński & Jan Zygmunt - 1989 - Studia Logica 48 (4):401 - 411.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices.Marcin Jukiewicz, Marek Nasieniewski, Yaroslav Petrukhin & Vasily Shangin - forthcoming - Logic Journal of the IGPL.
    In the paper, we tackle the matter of non-classical logics, in particular, paraconsistent ones, for which not every formula follows in general from inconsistent premisses. Our benchmark is Jaśkowski’s logic, modeled with the help of discussion. The second key origin of this paper is the matter of being tabular, i.e. being adequately expressible by finitely many finite matrices. We analyse Jaśkowski’s non-tabular discussive (discursive) logic $ \textbf {D}_{2}$, one of the first paraconsistent logics, from the perspective of a trivalent tabular (...)
    Download  
     
    Export citation  
     
    Bookmark