Switch to: References

Add citations

You must login to add citations.
  1. Classical and Empirical Negation in Subintuitionistic Logic.Michael De & Hitoshi Omori - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235.
    Subintuitionistic (propositional) logics are those in a standard intuitionistic language that result by weakening the frame conditions of the Kripke semantics for intuitionistic logic. In this paper we consider two negation expansions of subintuitionistic logic, one by classical negation and the other by what has been dubbed “empirical” negation. We provide an axiomatization of each expansion and show them sound and strongly complete. We conclude with some final remarks, including avenues for future research.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation