4 found
Sort by:
  1. Juan Manuel Cornejo (forthcoming). The Semi Heyting–Brouwer Logic. Studia Logica:1-23.
    In this paper we introduce a logic that we name semi Heyting–Brouwer logic, \ , in such a way that the variety of double semi-Heyting algebras is its algebraic counterpart. We prove that, up to equivalences by translations, the Heyting–Brouwer logic \ is an axiomatic extension of \ and that the propositional calculi of intuitionistic logic \ and semi-intuitionistic logic \ turn out to be fragments of \ .
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. 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  
  4. 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