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