1. Manuel Abad, Juan Manuel Cornejo & José Patricio Díaz Varela (2012). Free-Decomposability in Varieties of Semi-Heyting Algebras. Mathematical Logic Quarterly 58 (3):168-176.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Manuel Abad, Juan Manuel Cornejo & Patricio Díaz Varela (2012). Free‐Decomposability in Varieties of Semi‐Heyting Algebras. Mathematical Logic Quarterly 58 (3):168-176.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Juan Manuel Cornejo (2011). Semi-Intuitionistic Logic. Studia Logica 98 (1-2):9-25.
    The purpose of this paper is to define a new logic $${\mathcal {SI}}$$ called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [ 4 ] by Sankappanavar are the semantics for $${\mathcal {SI}}$$ . Besides, the intuitionistic logic will be an axiomatic extension of $${\mathcal {SI}}$$.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation