Switch to: References

Add citations

You must login to add citations.
  1. On linear Brouwerian logics.Zofia Kostrzycka - 2014 - Mathematical Logic Quarterly 60 (4-5):304-313.
    We define a special family of Brouwerian logics determined by linearly ordered frames. Then we prove that all logics of this family have the finite model property and are Kripke complete.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Normal Modal Logics Determined by Aligned Clusters.Zofia Kostrzycka & Yutaka Miyazaki - 2017 - Studia Logica 105 (1):1-11.
    We consider the family of logics from NExt which are determined by linear frames with reflexive and symmetric relation of accessibility. The condition of linearity in such frames was first defined in the paper [9]. We prove that the cardinality of the logics under consideration is uncountably infinite.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Interpolation in Normal Extensions of the Brouwer Logic.Zofia Kostrzycka - 2016 - Bulletin of the Section of Logic 45 (3/4).
    The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation