Revistes Catalanes amb Accés Obert (RACO)

Modus ponens on Boolean algebras revisited

Enric Trillas i Gay, Susana Cubillo Villanueva


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, we obtain all the boolean Conditionals and Internal Conditionals, and some of their properties as, for example, monotonicity are briefly discussed.

Text complet: HTML