Switch to: References

Add citations

You must login to add citations.
  1. l -Hemi-Implicative Semilattices.José Luis Castiglioni & Hernán Javier San Martín - 2018 - Studia Logica 106 (4):675-690.
    An l-hemi-implicative semilattice is an algebra \\) such that \\) is a semilattice with a greatest element 1 and satisfies: for every \, \ implies \ and \. An l-hemi-implicative semilattice is commutative if if it satisfies that \ for every \. It is shown that the class of l-hemi-implicative semilattices is a variety. These algebras provide a general framework for the study of different algebras of interest in algebraic logic. In any l-hemi-implicative semilattice it is possible to define an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On pseudo-equality algebras.Lavinia Corina Ciungu - 2014 - Archive for Mathematical Logic 53 (5-6):561-570.
    Recently, a new algebraic structure called pseudo-equality algebra has been defined by Jenei and Kóródi as a generalization of the equality algebra previously introduced by Jenei. As a main result, it was proved that the pseudo-equality algebras are term equivalent with pseudo-BCK meet-semilattices. We found a gap in the proof of this result and we present a counterexample and a correct version of the theorem. The correct version of the corresponding result for equality algebras is also given.
    Download  
     
    Export citation  
     
    Bookmark   2 citations