Loading...
Please wait, while we are loading the content...
Similar Documents
A set of four postulates for Boolean algebra in terms of the “implicative” operation
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bernstein, Bruce A. |
| Copyright Year | 1934 |
| Abstract | The main object of my paper is to present in terms of this "implicative" operationt D a set of four postulates for Boolean algebra. This will secure for Boolean algebra, for the first time, a set of postulates expressed in terms of an operation other than "rejection" having as few postulates as the present minimum sets.t Of course, by the principle of duality in Boolean algebra, my postulates will also be a set in terms of the dual of p D q, namely -pq. I prove for my postulates (a) their consistency, (b) their mutual independence, (c) their sufficiency for Boolean algebra, (d) their necessariness for Boolean algebra.? The consistency and independence systems are all Boolean |
| Starting Page | 876 |
| Ending Page | 884 |
| Page Count | 9 |
| File Format | PDF HTM / HTML |
| DOI | 10.1090/S0002-9947-1934-1501773-0 |
| Volume Number | 36 |
| Alternate Webpage(s) | http://www.ams.org/journals/tran/1934-036-04/S0002-9947-1934-1501773-0/S0002-9947-1934-1501773-0.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
