6 found
Order:
  1.  26
    Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar - 2011 - Studia Logica 98 (1-2):27-81.
    This paper is a contribution toward developing a theory of expansions of semi-Heyting algebras. It grew out of an attempt to settle a conjecture we had made in 1987. Firstly, we unify and extend strikingly similar results of [ 48 ] and [ 50 ] to the (new) equational class DHMSH of dually hemimorphic semi-Heyting algebras, or to its subvariety BDQDSH of blended dual quasi-De Morgan semi-Heyting algebras, thus settling the conjecture. Secondly, we give a criterion for a unary expansion (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  16
    Pseudocomplemented Okham and Demorgan Algebras.H. P. Sankappanavar - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (25-30):385-394.
  3.  8
    Pseudocomplemented Okham and Demorgan Algebras.H. P. Sankappanavar - 1986 - Mathematical Logic Quarterly 32 (25‐30):385-394.
  4.  17
    Distributive Lattices with a Dual Endomorphism.H. P. Sankappanavar - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):385-392.
  5.  8
    Distributive Lattices with a Dual Endomorphism.H. P. Sankappanavar - 1985 - Mathematical Logic Quarterly 31 (25‐28):385-392.
  6.  28
    The Horn Theory of Boole's Partial Algebras.Stanley N. Burris & H. P. Sankappanavar - 2013 - Bulletin of Symbolic Logic 19 (1):97-105.
    This paper augments Hailperin's substantial efforts to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark