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 |
![]() |