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
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es