Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)An Algebraic Approach to Intuitionistic Connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
    It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • On some new intuitionistic propositional connectives. I.Dov M. Gabbay - 1977 - Studia Logica 36 (1-2):127 - 139.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • On frontal Heyting algebras.Jose Castiglioni, Marta Sagastume & Hernan San Martin - 2010 - Reports on Mathematical Logic:201-224.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
    Download  
     
    Export citation  
     
    Bookmark   206 citations  
  • (1 other version)An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
    It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★.Leo Esakia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):349-366.
    In this paper we define an augmentation mHC of the Heyting propositional calculus HC by a modal operator ?. This modalized Heyting calculus mHC is a weakening of the Proof-Intuitionistic Logic KM of Kuznetsov and Muravitsky. In Section 2 we present a short selection of attractive (algebraic, relational, topological and categorical) features of mHC. In Section 3 we establish some close connections between mHC and certain normal extension K4.Grz of the modal system K4. We define a translation of mHC into (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • On the variety of Heyting algebras with successor generated by all finite chains.Jose Castiglioni & Hernan San Martin - 2010 - Reports on Mathematical Logic:225-248.
    Download  
     
    Export citation  
     
    Bookmark   4 citations