Results 1 to 10 of about 154 (86)
On pomonoid of partial transformations of a poset
Open Mathematics, 2023 The main objective of this article is to study the ordered partial transformations PO(X){\mathcal{PO}}\left(X) of a poset XX. The findings show that the set of all partial transformations of a poset with a pointwise order is not necessarily a pomonoid ...
Bana Al Subaiei
exaly +3 more sources
Epimorphisms Amalgams and Po-Unitary Pomonoids
AxiomsThis paper proves that the special pomonoid amalgam with a quasi po-unitary or almost po-unitary core U is strongly poembeddable. The techniques used to establish these results involve Isbell’s zigzag theorem and its descriptions in terms of the pomonoid
Bana Al Subaiei
exaly +4 more sources
ON REGULAR PRIME INJECTIVITY OF S-POSETS [PDF]
Journal of Algebraic Systems, 2021 In this paper, we define the notion of regular prime monomorphism for $S$-posets over a pomonoid $S$ and investigate some categorical properties including products, coproducts and pullbacks.
H. Rasouli +2 more
doaj +5 more sources
Examples of Pomonoids of Full Transformations of a Poset
Scientific Journal of King Faisal University: Basic and Applied Sciences, 2022 In this research, the partially ordered monoid (simple pomonoid) full transformations of a poset O(X) is studied, and some related properties are examined.
Bana Al Subaiei
doaj +2 more sources
Graded Hoare Logic and its Categorical Semantics [PDF]
Programming Languages and Systems30th European Symposium on Programming, 2021 Deductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) are a powerful approach for program reasoning. Recently, there has been a trend of increasing the expressive power of such logics by augmenting their rules
Gaboardi M +3 more
europepmc +4 more sources
Subpullbacks and Po-flatness Properties of S-posets [PDF]
Journal of Sciences, Islamic Republic of Iran, 2014 In (Golchin A. and Rezaei P., Subpullbacks and flatness properties of S-posets. Comm. Algebra. 37: 1995-2007 (2009)) study was initiated of flatness properties of right -posets over a pomonoid that can be described by surjectivity of corresponding to ...
A. Golchin, L. Nouri
doaj +2 more sources
On Rees Factor $\mathbf{S}$-Posets Satisfying Conditions $\mathbf{(PWP_{E})}$ or $\mathbf{(PWP_E)_{w}}$ [PDF]
Journal of Mahani Mathematical Research, 2023 Golchin and Rezaei introduced conditions $(PWP)$ and\linebreak $(PWP)_{w}$ in (Subpullbacks and flatness properties of $S$-posets). In this paper, we introduce conditions $(PWP_{E})$ and $(PWP_{E})_{w}$ as generalizations of these conditions ...
Zohre Khaki +2 more
doaj +1 more source
A NEW CHARACTERIZATION OF ABSOLUTELY PO-PURE AND ABSOLUTELY PURE S-POSETS [PDF]
Journal of Algebraic Systems, 2020 In this paper, we investigate po-purity using finitely presented S-posets, and give some equivalent conditions under which an S-poset is absolutely po-pure.
R. Khosravi, M. Roueentan
doaj +1 more source
On positive commutative tomonoids [PDF]
, 2016 We discuss totally ordered monoids (or tomonoids, for short) that are commutative, positive, and finitely generated. Tomonoids of this kind correspond to certain preorders on free commutative monoids.
Thomas Vetterlein
core +3 more sources
Axiomatisability problems for S-posets [PDF]
, 2009 Let C be a class of algebras of a given fixed type t. Associated with the type is a first order language L_t. One can then ask the question, when is the class C axiomatisable by sentences of L_t.
Gould, Victoria, Shaheen, Lubna
core +2 more sources