Browsing by Author "Renedo, Eloy"

Now showing items 1-2 of 2

  • A note on the symmetric difference in lattices 

    Renedo, Eloy; Trillas i Gay, Enric; Alsina Català, Claudi (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2005)
    Article
    Open Access
    The paper introduces a definition of symmetric difference in lattices with negation, presents its general properties and studies those that are typical of ortholattices, orthomodular lattices, de Morgan and boolean algebras.

  • A short note on lattices allowing disjunctive reasoning 

    Trillas i Gay, Enric; Renedo, Eloy; Alsina Català, Claudi (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2006)
    Article
    Open Access
    This short note shows that the scheme of disjunctive reasoning, a or b, not b : a, does not hold neither in proper ortholattices nor in proper de Morgan algebras. In both cases the scheme, once translated into the inequality ...