Results 41 to 50 of about 160 (71)

Weak Factorization System for Actions of Po-monoids on Posets [PDF]

, 2015
Let $S$ be a pomonoid. In this paper, {\bf Pos}-$S$, the category of $S$-posets and $S$-poset maps, is considered. One of the main aims of this paper is to draw attention to the notion of weak factorization systems in {\bf Pos}-$S.$ We show that if the ...
Farsad, Farideh, Madanshekaf, Ali
core  

Weak factorization systems and fibrewise regular injectivity for actions of pomonoids on posets [PDF]

, 2017
Let S be a pomonoid. In this paper, Pos-S, the category of S-posets and S-poset maps, is considered. One of the main aims of this paper is to draw attention to the notion of weak factorization systems in Pos-S.
Farsad, F., Madanshekaf, A.
core   +1 more source

The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL [PDF]

, 2015
Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to form algebraic models for substructural logics.
Cardona Fuentes, Riquelmi Salvador
core   +1 more source

Every BCK-algebra is a set of residuables in an integral pomonoid

Journal of Algebra, 1988
It is shown that every BCK-algebra is isomorphic to a sub-algebra of the residuation-reduct of some integral commutative monoid with residuation. This result can be easily derived from embedding theorems of \textit{H. Ono} and \textit{Y. Komori} [J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018)] and \textit{M. Pałasiński} [An embedding theorem for BCK-
openaire   +1 more source

On Po-injective and Po-surjective Wreath Product of Pomonoids

European Journal of Pure and Applied Mathematics
Let $R$  and $S$ be pomonoids and $_{R}{A}$ be a left $R$-poset. The wreath product of the pomonoids $R$  and $S$ by $_{R}{A}$  is defined as the pomonoid $T~=~R \times F(A, S)$ While, the wreath product $_TC$ of the left $R$-poset $_{R}{A}$ with the left $S$-poset $_{S}{B}$ over the pomonoid $T= R \times F(A, S)$ is the left $T$-poset ${_T C}= {_R A ...
Bana Al Subaiei, Ahlam Almulhim, Aftab Shah, Syed Ul Haq   +3 more
openaire   +1 more source

A systematic approach for invariants of C*-algebras

, 2023
We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties such as ...
Cantier, Laurent
core  

Logics without the contraction rule and residuated lattices [PDF]

, 2010
In this paper, we will develop an algebraic study of substructural propositional logics over FLew, i.e. the logic which is obtained from intuitionistic logics by eliminating the contraction rule.
Ono, Hiroakira
core   +1 more source

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  

Algebraic structures from quantum and fuzzy logics [PDF]

, 2016
This thesis concerns the wide research area of logic. In particular, the first part is devoted to analyze different kinds of relational systems (orthogonal and residuated), by investigating the properties of the algebras associated to them. The second
Bonzio, Stefano
core   +1 more source

An algebraic study of residuated ordered monoids and logics without exchange and contraction. [PDF]

, 1998
Thesis (Ph.D.)-University of Natal, Durban, 1998.Please refer to the thesis for the ...
Van Alten, Clint Johann.
core