<abstract xmlns="http://www.w3.org/1999/xhtml"><p> Schmets [22] has developed a measure theory from a generalized notion of a semiring of sets. Goguadze [15] has introduced another generalized notion of semiring of sets and proved that all known properties that semiring have according to the old definitions are preserved. We show that this two notions are almost equivalent. We note that Patriota [20] has defined this quasi-semiring. We propose the formalization of some properties developed by the authors.</p></abstract>

Schmets [22] has developed a measure theory from a generalized notion of a semiring of sets. Goguadze [15] has introduced another generalized notion of semiring of sets and proved that all known properties that semiring have according to the old definitions are preserved. We show that this two notions are almost equivalent. We note that Patriota [20] has defined this quasi-semiring. We propose the formalization of some properties developed by the authors.

Semiring of Sets

Rue de la Brasserie 5 7100 La Louvière, Belgium

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)

{"article-title":"Semiring of Sets"}

Schmets [22] has developed a measure theory from a generalized notion of a semiring of sets. Goguadze [15] has introduced another generalized notion of...

Semiring of Sets

Online veröffentlicht: 30. März 2014

Seitenbereich: 79 - 84

DOI: https://doi.org/10.2478/forma-2014-0008

Schlüsselwörter
sets, set partitions, distributive lattice

© by Roland Coghetto

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)

Semiring of Sets

Online veröffentlicht: 30. März 2014

Seitenbereich: 79 - 84

DOI: https://doi.org/10.2478/forma-2014-0008

Schlüsselwörtersets, set partitions, distributive lattice

© by Roland Coghetto

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)

Schlüsselwörter
sets, set partitions, distributive lattice