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 ...