• Modus ponens on Boolean algebras revisited 

      Trillas i Gay, Enric; Cubillo Villanueva, Susana (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
      Article
      Accés obert
      In a Boolean Algebra B, an inequality f(x,x -> y))<=y satisfying the condition f(1,1)=1, is considered for defining operations a->b among the elements of B. These operations are called ``Conditionals'' for f. In this paper, ...