You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

A Representation of Partial Boolean Algebras

Article type: Research Article

Authors: Ehrenfeucht, Andrzeja | Zawadowski, Marek W.b

Affiliations: [a] Department of Computer Science, University of Colorado Boulder, Colorado, USA | [b] Department of Mathematics,University of Warsaw, Warsaw, Poland

Abstract: We prove that every partial boolean algebra is isomorphic to a partial boolean algebra of sets. As a consequence we obtain finite axiomatization of the theory of partial boolean algebras.

DOI: 10.3233/FI-1992-163-408

Journal: Fundamenta Informaticae, vol. 16, no. 3-4, pp. 349-353, 1992

Published: 1 May 1992
Price: EUR 27.50
Show more