On subamalgams of partially ordered monoids
Semigroup Forum, 2022 Bana Al Subaiei, J. Renshaw
semanticscholar +1 more source
Idempotent 2x2 matrices over linearly ordered abelian groups [PDF]
In this paper we study multiplicative semigroups of $2\times 2$ matrices over a linearly ordered abelian group with an externally added bottom element. The multiplication of such a semigroup is defined by replacing addition and multiplication by join and
Marilyn Kutti, Valdis Laan
core +1 more source
Erratum to “On homological classification of pomonoids by regular weak injectivity properties of S-posets” [PDF]
, 2008 Xia Zhang, Valdis Laan
openalex +1 more source
Morita equivalence for partially ordered monoids and po-Γ-semigroups with unities [PDF]
, 2014 We prove that operator pomonoids of a po-Γ-semigroup with unities are Morita equivalent pomonoids. Conversely, we show that if L and R are Morita equivalent pomonoids then a po-Γ-semigroup A with unities can be constructed such that left and right ...
Gupta, S., Sardar, S.K.
core +1 more source
Programming Languages and Systems [PDF]
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
core +1 more source
On free products and amalgams of pomonoids [PDF]
, 2013 Bana Al Subaiei, James Renshaw
openalex +2 more sources
A semantic proof of generalised cut elimination for deep inference [PDF]
Multiplicative-Additive System Virtual (MAV) is a logic that extends Multiplicative-Additive Linear Logic with a self-dual non-commutative operator expressing the concept of "before" or "sequencing".
Atkey, Robert, Kokke, Wen
core
Equivalence of multiset-based consequence relations
The pioneering work of Blok and J\'onsson and its further development by Galatos and Tsinakis initiated an abstract study of consequence relations using the tools of module theory, where consequence relations over all types of syntactic objects are put ...
Madanshekaf, Ali +3 more
core
Characterizarion of pomonoids by weakly pullback flat S-posets(弱拉回平坦序S-系对序幺半群的刻画)
Zhejiang Daxue xuebao. Lixue ban, 2019 设S 是序幺半群，借助环模理论以及半群S-系理论方法，在序S-系范畴中研究了弱拉回平坦性质。刻画了弱拉回平坦序S-系关于直积封闭的序幺半群类以及弱拉回平坦性质与其他性质一致的序幺半群类，讨论了循环序S-系具有拉回平坦覆盖的条件，进而推广了S-系的一些重要结果。
LIANGXingliang(梁星亮) +2 more
openaire +1 more source
An Algebra for Tracing Categories of Social Processes: From a Surprising Fact to Middle-Range Theory using Categorical-Generative Analysis [PDF]
This paper describes a method for the analysis of the evolutionary path of a complex, dynamic, and contingent social phenomenon in an empirical setting.
da Rocha Braga, Bruno
core