Results 31 to 40 of about 160 (71)

An Abstract Approach to Consequence Relations

open access: yes, 2019
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

open access: yes, 2013
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]

open access: yesJournal of the Korean Mathematical Society, 2015
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]

open access: yes, 2017
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]

open access: yesCategories and General Algebraic Structures with Applications, 2016
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

open access: yesOpen Mathematics
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]

open access: yes, 2010
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]

open access: yes, 2001
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

open access: yes, 2015
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]

open access: yes, 2022
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  

Home - About - Disclaimer - Privacy