Results 31 to 40 of about 160 (71)
An Abstract Approach to Consequence Relations
We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence.
Cintula, Petr +3 more
core +1 more source
An alternative Gospel of structure: order, composition, processes
We survey some basic mathematical structures, which arguably are more primitive than the structures taught at school. These structures are orders, with or without composition, and (symmetric) monoidal categories.
Coecke, Bob
core +1 more source
REGULAR INJECTIVITY AND EXPONENTIABILITY IN THE SLICE CATEGORIES OF ACTIONS OF POMONOIDS ON POSETS [PDF]
Abstract. For a pomonoid S, let us denote Pos-S the category ofS-posets and S-poset maps. In this paper, we consider the slice cate-gory Pos-S/B for an S-poset B,and study some categorical ingredients.We first show that there is no non-trivial injective object in Pos-S/B.Then we investigate injective objects with respect to the class of regu-lar ...
Farideh Farsad, Ali Madanshekaf
openaire +1 more source
Generalized relations in linguistics and cognition [PDF]
Categorical compositional models of natural language exploit grammatical structure to calculate the meaning of sentences from the meanings of individual words. This approach outperforms conventional techniques for some standard NLP tasks.
Alex Toumi +4 more
core +3 more sources
Properties of products for flatness in the category of $S$-posets [PDF]
This paper is devoted to the study of products of classes of right $S$-posets possessing one of the flatness properties and preservation of such properties under products.
Roghaieh Khosravi, Mojtaba Sedaghatjoo
doaj
On a generalization of I-regularity
Let SS be a pomonoid. The projectivity and strong flatness of right SS-posets have been central topics in the homological classification of pomonoids in recent decades. In 2005, Shi et al. introduced II-regular SS-posets and proved that all its cyclic SS-
Qiao Husheng, Feng Leting
doaj +1 more source
Some more axiomatisability for S-acts [PDF]
This paper discusses necessary and sufficient conditions on a monoid S, such that the class of C-flat left $S$-acts is axiomatisable, where C is the class of all embeddings (of right ideals into S) of right S-acts.
Shaheen, Lubna
core
Totally ordered commutative monoids [PDF]
A totally ordered monoid - or tomonoid, for short - is a commutative semigroup with identity S equipped with a total order ≤s that is translation invariant, i.e., that satisfies: ∀x, y, z ∈, x ≤s y ⇒ x + z ≤s y + z.
Evans, K. +4 more
core +2 more sources
Characterization of Pomonoids by Properties of Generators
The study of flatness properties of ordered monoids acting on posets was initiated by S.M. Fakhruddin in the 1980's. Although there exist many papers which investigate various properties of $S$-posets (posets equipped with a compatible right action of an ordered monoid $S$) from free to torsion free, among them generators, there seems to be known very ...
Irannezhad, Setareh, Madanshekaf, Ali
openaire +2 more sources
Weighted programming: A programming paradigm for specifying mathematical models [PDF]
We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2 ...
Batz, K +4 more
core

