Switch to: References

Add citations

You must login to add citations.
  1. All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
    In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly ω-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, ω-canonicity and strong ω-completeness is given.
    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