Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda
INICIO |
27 de julio de 2024
On Boolean modus ponens.
| Título inglés | On Boolean modus ponens. |
|---|---|
| Título español | Modus ponens booleano. |
| Autor/es | Rudeanu, Sergiu |
| Organización | Fac. Math. Univ. Bucharest, Bucarest, Rumanía |
| Revista | 1134-5632 |
| Publicación | 1998, 5 (1): 115-119, 3 Ref. |
| Tipo de documento | articulo |
| Idioma | Inglés |
| Resumen inglés | 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]. |
| Clasificación UNESCO | 110208 |
| Palabras clave español | Algebras de Boole ; Teorema de deducción ; Lógica matemática |
| Código MathReviews | MR1632775 |
| Código Z-Math | Zbl 0931.03075 |
 Acceso al artículo completo |
|