Show simple item record

dc.contributor.authorRudeanu, Sergiu
dc.date.accessioned2007-09-19T08:47:04Z
dc.date.available2007-09-19T08:47:04Z
dc.date.issued1998
dc.identifier.issn1134-5632
dc.identifier.urihttp://hdl.handle.net/2099/3508
dc.description.abstractAn 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].
dc.format.extent115-119
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.relation.ispartofMathware & soft computing . 1998 Vol. 5 Núm. 1
dc.rightsReconeixement-NoComercial-CompartirIgual 3.0 Espanya
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.titleOn Boolean modus ponens
dc.typeArticle
dc.subject.lemacConjunts, Teoria de
dc.subject.lemacÀlgebra booleana
dc.subject.amsClassificació AMS::03 Mathematical logic and foundations::03E Set theory
dc.rights.accessOpen Access


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record