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.
    We present some equivalent conditions for a quasivariety K of structures to be generated by a single structure. The first such condition, called the embedding property was found by A. I. Mal'tsev in [6]. It says that if A, B Є K are nontrivial, then there exists C Є X such that A and B are embeddable into C. One of our equivalent conditions states that the set of quasi-identities valid in X is closed under a certain Gentzen type rule (...)
    Direct download (2 more)  
     
    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