DMCA
Boolean posets, posets under inclusion and products of relational structures (1996)
Cached
Download Links
by
Adam Grabowski
,
Robert Milewski
| Venue: | Journal of Formalized Mathematics |
| Citations: | 84 - 17 self |
BibTeX
@ARTICLE{Grabowski96booleanposets,,
author = {Adam Grabowski and Robert Milewski},
title = {Boolean posets, posets under inclusion and products of relational structures},
journal = {Journal of Formalized Mathematics},
year = {1996},
volume = {8},
pages = {8--1}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Summary. In the paper some notions useful in formalization of [11] are introduced, e.g. the definition of the poset of subsets of a set with inclusion as an ordering relation. Using the theory of many sorted sets authors formulate the definition of product of relational structures.
