Revistes Catalanes amb Accés Obert (RACO)

On Boolean modus ponens

Sergiu Rudeanu


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

Text complet: HTML