4 found
Sort by:
  1. Wieslaw Dziobiak, A. V. Kravchenko & Piotr J. Wojciechowski (2009). Equivalents for a Quasivariety to Be Generated by a Single Structure. Studia Logica 91 (1):113-123.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Joel Berman, Wieslaw Dziobiak, Don Pigozzi & James Raftery (2006). In Memory of Willem Johannes Blok 1947-2003. Studia Logica 83 (1-3):435-437.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Jerzy J. Blaszczuk & Wieslaw Dziobiak (1977). Modal Logics Connected with Systems S4n of Sobociński. Studia Logica 36 (3):151 - 164.
  4. Wieslaw Dziobiak (1977). On Detachment-Substitutional Formalization in Normal Modal Logics. Studia Logica 36 (3):165 - 171.
    The aim of this paper is to propose a criterion of finite detachment-substitutional formalization for normal modal systems. The criterion will comprise only those normal modal systems which are finitely axiomatizable by means of the substitution, detachment for material implication and Gödel rules.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation