On Boolean modus ponens
View/Open
Cita com:
hdl:2099/3508
Document typeArticle
Defense date1998
PublisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Rights accessOpen Access
Except where otherwise noted, content on this work
is licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 3.0 Spain
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].
ISSN1134-5632
Collections
Files | Description | Size | Format | View |
---|---|---|---|---|
rudeanu.pdf | 131,4Kb | View/Open |