Results 21 to 30 of about 160 (71)
Schreier split extensions of preordered monoids [PDF]
, 2020 Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories of the category of preordered monoids are functorially related between them as well as with the categories of ...
Martins-Ferreira, Nelson +1 more
core +2 more sources
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
T-norms and t-conorms on a family of lattices [PDF]
, 2021 This paper provides a complete classification of all t-norms on a family of lattices in terms of t-norms on discrete chains. Moreover, the cardinal of some classes on discrete chains is computed. Therefore, the number of t-norms on the family of lattices
Bejines-López, Carlos
core +1 more source
Data-flow analyses as effects and graded monads [PDF]
, 2020 In static analysis, two frameworks have been studied extensively: monotone data-flow analysis and type-and-effect systems. Whilst both are seen as general analysis frameworks, their relationship has remained unclear.
Ivašković, A, Mycroft, A, Orchard, D
core +3 more sources
Covers for S-acts and Condition (A) for a monoid S [PDF]
, 2015 A monoid S satisfies Condition (A) if every locally cyclic left S-act is cyclic. This condition first arose in Isbell's work on left perfect monoids, that is, monoids such that every left S-act has a projective cover. Isbell showed that S is left perfect
Bailey, Alex +4 more
core +1 more source
Dominions, zigzags and epimorphisms for partially ordered semigroups [PDF]
, 2014 We prove an analogue of Isbell's celebrated zigzag theorem for partially ordered semigroups. This theorem provides a useful description of dominions which we employ to describe absolute closedness of posemigroups and epimorphisms in varieties of ...
Sohail, Nasir, Tart, Lauri
core +2 more sources
Double Negation Semantics for Generalisations of Heyting Algebras [PDF]
, 2020 This paper presents an algebraic framework for investigating proposed translations of classical logic into intuitionistic logic, such as the four negative translations introduced by Kolmogorov, Gödel, Gentzen and Glivenko.
Arthan, R, Oliva, P
core +1 more source
On (po-)torsion free and principally weakly (po-)flat $S$-posets [PDF]
Categories and General Algebraic Structures with Applications, 2018 In this paper, we first consider (po-)torsion free and principally weakly (po-)flat $S$-posets, specifically we discuss when (po-)torsion freeness implies principal weak (po-)flatness.
Roghaieh Khosravi, Xingliang Liang
doaj
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 +3 more sources