Modus ponens on Boolean algebras revisited

Autores: Enric Trillas , Susana Cubillo Villanueva
Localización: Mathware & soft computing: The Magazine of the European Society for Fuzzy Logic and Technology, ISSN-e 1134-5632, Vol. 3, Nº. 1-2, 1996, págs. 105-112
Idioma: inglés
Títulos paralelos:
- Modus ponens en álgebras booleanas: una revisión
Enlaces
- Texto completo (pdf)
Resumen
- 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.