Switch to: References

Add citations

You must login to add citations.
  1. Bi-intermediate logics of trees and co-trees.Nick Bezhanishvili, Miguel Martins & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (10):103490.
    Download  
     
    Export citation  
     
    Bookmark  
  • Intuitionistic Sahlqvist Theory for Deductive Systems.Damiano Fornasiere & Tommaso Moraschini - forthcoming - Journal of Symbolic Logic:1-59.
    Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory of intuitionistic character amenable to arbitrary protoalgebraic deductive systems. As an application, we obtain a Sahlqvist theorem for the fragments of the intuitionistic propositional calculus that include the implication connective and for the extensions of the intuitionistic linear logic.
    Download  
     
    Export citation  
     
    Bookmark