Modus ponens on Boolean algebras revisited.

Enric Trillas; Susana Cubillo

Mathware and Soft Computing (1996)

  • Volume: 3, Issue: 1-2, page 105-112
  • ISSN: 1134-5632

Abstract

top
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.

How to cite

top

Trillas, 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 --&gt; y)) ≤ y satisfying the condition f(1,1)=1, is considered for defining operations a --&gt; 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 --&gt; y)) ≤ y satisfying the condition f(1,1)=1, is considered for defining operations a --&gt; 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 ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.