Works by Kazimiera Dyrda

( view other items matching `Kazimiera Dyrda`, view all matches )
Order:
  1.  20
    On finitely based consequence determined by a distributive lattice.Kazimiera Dyrda & Tadeusz Prucnal - 1980 - Bulletin of the Section of Logic 9 (2):60-64.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  21
    On classification of commutative BCK-logics'.Kazimiera Dyrda - 1985 - Bulletin of the Section of Logic 14 (1):30-32.
    A classification of commutative BCK-logics which is an analogon of Hosoi classification of intermediate logics is given in the paper.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  12
    Some remarks on wmv-algebras.Kazimiera Dyrda - 1983 - Bulletin of the Section of Logic 12 (2):55-61.
    We show that every BCK-algebra can be embeded into a WMV - algebra and prove the interpolation and amalgamation properties for WMV - algebras. In proofs Gentzen-method is used. For information on BCK- algebras the reader is referred to K. Iseki, S. Tanaka [2] while for Gentzen- method to G. Takeuti [7]. I would like to thank Prof. A. Wronski for raising the problem.
    Direct download  
     
    Export citation  
     
    Bookmark