Switch to: References

Add citations

You must login to add citations.
  1. Topological duality for orthomodular lattices.Joseph McDonald & Katalin Bimbó - 2023 - Mathematical Logic Quarterly 69 (2):174-191.
    A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of Bimbó's topologization of the class of orthoframes employed by Goldblatt in his representation of ortholattices. We then prove that the category of orthomodular lattices and homomorphisms is dually equivalent to the category of orthomodular spaces and certain continuous frame morphisms, which we call continuous weak (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Stone duality for lattice expansions.Chrysafis Hartonas - 2018 - Logic Journal of the IGPL 26 (5):475-504.
  • Some relevance logics from the point of view of relational semantics.Katalin Bimbó - 2016 - Logic Journal of the IGPL 24 (3):268-287.
  • Dual Gaggle Semantics for Entailment.Katalin Bimbó - 2009 - Notre Dame Journal of Formal Logic 50 (1):23-41.
    A sequent calculus for the positive fragment of entailment together with the Church constants is introduced here. The single cut rule is admissible in this consecution calculus. A topological dual gaggle semantics is developed for the logic. The category of the topological structures for the logic with frame morphisms is proven to be the dual category of the variety, that is defined by the equations of the algebra of the logic, with homomorphisms. The duality results are extended to the logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Positive modal logic beyond distributivity.Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (2):103374.