Displaying similar documents to “The semiring of quotients of commutative semirings”

On some combinatorial properties of generalized commutative Jacobsthal quaternions and generalized commutative Jacobsthal-Lucas quaternions

Dorota Bród, Anetta Szynal-Liana, Iwona Włoch (2022)

Czechoslovak Mathematical Journal

Similarity:

We study generalized commutative Jacobsthal quaternions and generalized commutative Jacobsthal-Lucas quaternions. We present some properties of these quaternions and the relations between the generalized commutative Jacobsthal quaternions and generalized commutative Jacobsthal-Lucas quaternions.

Commutative directoids with sectional involutions

Ivan Chajda (2007)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The concept of a commutative directoid was introduced by J. Ježek and R. Quackenbush in 1990. We complete this algebra with involutions in its sections and show that it can be converted into a certain implication algebra. Asking several additional conditions, we show whether this directoid is sectionally complemented or whether the section is an NMV-algebra.

A fully equational proof of Parikh’s theorem

Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We show that the validity of Parikh’s theorem for context-free languages depends only on a few equational properties of least pre-fixed points. Moreover, we exhibit an infinite basis of μ -term equations of continuous commutative idempotent semirings.

Finite Product of Semiring of Sets

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

We formalize that the image of a semiring of sets [17] by an injective function is a semiring of sets.We offer a non-trivial example of a semiring of sets in a topological space [21]. Finally, we show that the finite product of a semiring of sets is also a semiring of sets [21] and that the finite product of a classical semiring of sets [8] is a classical semiring of sets. In this case, we use here the notation from the book of Aliprantis and Border [1].