On Boolean modus ponens
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].
| Author: | |
|---|---|
| Format: | article |
| Publication Date: | 1998 |
| Country: | España |
| Institution: | Universitat Politècnica de Catalunya (UPC) |
| Repository: | UPCommons. Portal del coneixement obert de la UPC |
| Language: | English |
| OAI Identifier: | oai:upcommons.upc.edu:2099/3508 |
| Online Access: | https://hdl.handle.net/2099/3508 |
| Access Level: | Open access |
| Keyword: | Conjunts, Teoria de Àlgebra booleana Classificació AMS::03 Mathematical logic and foundations::03E Set theory |
| Summary: | 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]. |
|---|