On Boolean modus ponens

Rudeanu, Sergiu

View/Open

rudeanu.pdf (131,4Kb)

View Usage Statistics

Cita com:

Show full item record

Rudeanu, Sergiu

Document typeArticle

Defense date1998

PublisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica

Rights accessOpen Access

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

URIhttp://hdl.handle.net/2099/3508

ISSN1134-5632

Collections

Mathware & soft computing - 1998, Vol. V, Núm. 1 [11]

View Usage Statistics

Show full item record

Files	Description	Size	Format	View
rudeanu.pdf		131,4Kb	PDF	View/Open

Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain

UPCommons. Global access to UPC knowledge

On Boolean modus ponens

View/Open

Browse