5 found
Order:
  1.  12
    Semi-Intuitionistic Logic.Juan Manuel Cornejo - 2011 - 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)  
     
    Export citation  
     
    My bibliography   4 citations  
  2.  5
    The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  3
    Free‐Decomposability in Varieties of Semi‐Heyting Algebras.Manuel Abad, Juan Manuel Cornejo & Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.
    In this paper we prove that the free algebras in a subvariety equation image of the variety equation image of semi-Heyting algebras are directly decomposable if and only if equation image satisfies the Stone identity.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  4
    Gentzen-Style Sequent Calculus for Semi-Intuitionistic Logic.Diego Castaño & Juan Manuel Cornejo - 2016 - Studia Logica 104 (6):1245-1265.
    The variety \ of semi-Heyting algebras was introduced by H. P. Sankappanavar [13] as an abstraction of the variety of Heyting algebras. Semi-Heyting algebras are the algebraic models for a logic HsH, known as semi-intuitionistic logic, which is equivalent to the one defined by a Hilbert style calculus in Cornejo :9–25, 2011) [6]. In this article we introduce a Gentzen style sequent calculus GsH for the semi-intuitionistic logic whose associated logic GsH is the same as HsH. The advantage of this (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Free-Decomposability in Varieties of Semi-Heyting Algebras.Manuel Abad, Juan Manuel Cornejo & José Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.
     
    Export citation  
     
    My bibliography