Modus ponens on Boolean algebras revisited.
Mathware and Soft Computing (1996)
- Volume: 3, Issue: 1-2, page 105-112
- ISSN: 1134-5632
Access Full Article
topAbstract
topHow to cite
topTrillas, Enric, and Cubillo, Susana. "Modus ponens on Boolean algebras revisited.." Mathware and Soft Computing 3.1-2 (1996): 105-112. <http://eudml.org/doc/39064>.
@article{Trillas1996,
abstract = {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.},
author = {Trillas, Enric, Cubillo, Susana},
journal = {Mathware and Soft Computing},
keywords = {Lógica simbólica; Operadores monótonos; Lógica difusa; Algebras de Boole; Información condicional; functional equations; truth functions; Boolean analogues of modus ponens},
language = {eng},
number = {1-2},
pages = {105-112},
title = {Modus ponens on Boolean algebras revisited.},
url = {http://eudml.org/doc/39064},
volume = {3},
year = {1996},
}
TY - JOUR
AU - Trillas, Enric
AU - Cubillo, Susana
TI - Modus ponens on Boolean algebras revisited.
JO - Mathware and Soft Computing
PY - 1996
VL - 3
IS - 1-2
SP - 105
EP - 112
AB - 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.
LA - eng
KW - Lógica simbólica; Operadores monótonos; Lógica difusa; Algebras de Boole; Información condicional; functional equations; truth functions; Boolean analogues of modus ponens
UR - http://eudml.org/doc/39064
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.