Exploració per tema "Disjunctive reasoning"

Ara es mostren els items 1-1 de 1

    • 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
      Accés obert
      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 ...