Switch to: References

Add citations

You must login to add citations.
  1. Unification with parameters in the implication fragment of classical propositional logic.Philippe Balbiani & Mojtaba Mojtahedi - 2022 - Logic Journal of the IGPL 30 (3):454-464.
    In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.
    Download  
     
    Export citation  
     
    Bookmark  
  • Hilbert Algebras with Hilbert–Galois Connections.Sergio A. Celani & Daniela Montangie - 2023 - Studia Logica 111 (1):113-138.
    In this paper we introduce Hilbert algebras with Hilbert–Galois connections (HilGC-algebras) and we study the Hilbert–Galois connections defined in Heyting algebras, called HGC-algebras. We assign a categorical duality between the category HilGC-algebras with Hilbert homomorphisms that commutes with Hilbert–Galois connections and Hilbert spaces with certain binary relations and whose morphisms are special functional relations. We also prove a categorical duality between the category of Heyting Galois algebras with Heyting homomorphisms that commutes with Hilbert–Galois connections and the category of spectral Heyting (...)
    Download  
     
    Export citation  
     
    Bookmark