On Boolean modus ponens.
Mathware and Soft Computing (1998)
- Volume: 5, Issue: 1, page 115-119
- ISSN: 1134-5632
Access Full Article
top
Abstract
topHow to cite
topRudeanu, Sergiu. "On Boolean modus ponens.." Mathware and Soft Computing 5.1 (1998): 115-119. <http://eudml.org/doc/39118>.
@article{Rudeanu1998,
abstract = {An abstract form of modus ponens in a Boolean algebra was suggested in [1]. In this paper we use the general theory of Boolean equations (see e.g. [2]) to obtain a further generalization. For a similar research on Boolean deduction theorems see [3].},
author = {Rudeanu, Sergiu},
journal = {Mathware and Soft Computing},
keywords = {Algebras de Boole; Teorema de deducción; Lógica matemática; Boolean algebra; Boolean analogue of modus ponens; Boolean equations},
language = {eng},
number = {1},
pages = {115-119},
title = {On Boolean modus ponens.},
url = {http://eudml.org/doc/39118},
volume = {5},
year = {1998},
}
TY - JOUR
AU - Rudeanu, Sergiu
TI - On Boolean modus ponens.
JO - Mathware and Soft Computing
PY - 1998
VL - 5
IS - 1
SP - 115
EP - 119
AB - An abstract form of modus ponens in a Boolean algebra was suggested in [1]. In this paper we use the general theory of Boolean equations (see e.g. [2]) to obtain a further generalization. For a similar research on Boolean deduction theorems see [3].
LA - eng
KW - Algebras de Boole; Teorema de deducción; Lógica matemática; Boolean algebra; Boolean analogue of modus ponens; Boolean equations
UR - http://eudml.org/doc/39118
ER -
NotesEmbed ?
topYou 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.