4 found
Order:
  1.  11
    A Note on Matrices for Systems of Nonsense-Logics.Katarzyna HaŁkowska - 1989 - Studia Logica 48 (4):461 - 464.
    We construct a class K of algebras which are matrices of the logical system Z introduced in [4]. It is shown that algebras belonging to the class K are decomposable into disjoint subalgebras which are Boolean algebras.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  39
    Nota o systemie rachunku zdań z pierwotną regułą ekstensjonalności.Katarzyna Hałkowska - 1967 - Studia Logica 20 (1):145-148.
  3.  26
    Pojęcie Wyrażenia Sensownego Zawierającego Terminy Określone Definicjami Warunkowymi.Katarzyna Hałkowska - 1969 - Studia Logica 25 (1):159 - 167.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  16
    On P-Compatible Hybrid Identities and Hyperidentities.Klaus Denecke & Katarzyna Hałkowska - 1994 - Studia Logica 53 (4):493-501.
    P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark