Título inglés |
Modus ponens on Boolean algebras revisited. |
Título español |
Modus ponens en álgebras booleanas: una revisión. |
Autor/es |
Trillas, Enric ; Cubillo, Susana |
Organización |
Dep. Intel. Artif. Fac. Inform. Univ. Politéc. Madrid, Madrid, España;Dep. Mat. Apl. Fac. Inform. Univ. Politéc. Madrid, Madrid, España |
Revista |
1134-5632 |
Publicación |
1996, 3 (1-2): 105-112, 4 Ref. |
Tipo de documento |
articulo |
Idioma |
Inglés |
Resumen inglés |
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. |
Clasificación UNESCO |
120105 ; 110214 |
Palabras clave español |
Lógica simbólica ; Operadores monótonos ; Lógica difusa ; Algebras de Boole ; Información condicional |
Código MathReviews |
MR1414258 |
Código Z-Math |
Zbl 0862.03037 |
Acceso al artículo completo |