All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 27

Showing per page

Finite presentability of strongly finite dilators

Osamu Takaki (2010)

RAIRO - Theoretical Informatics and Applications

In this paper, we establish the following results: (i) every strongly finite dilator is finitely presentable in the category of endofunctors on the category of ordinals; (ii) a dilator F is strongly finite if and only if F is finitely presentable in the category of dilators.

Fixed points with respect to the L-slice homomorphism σ a

K.S. Sabna, N.R. Mangalambal (2019)

Archivum Mathematicum

Given a locale L and a join semilattice J with bottom element 0 J , a new concept ( σ , J ) called L -slice is defined,where σ is as an action of the locale L on the join semilattice J . The L -slice ( σ , J ) adopts topological properties of the locale L through the action σ . It is shown that for each a ∈ L , σ a is an interior operator on ( σ , J ) .The collection M = { σ a ; a ∈ L } is a Priestly space and a subslice of L - Hom ( J , J ) . If the locale L is spatial we establish an isomorphism between the L -slices ( σ , L ) and ( δ , M ) . We have shown that the fixed set of σ a ,...

Folding theory applied to BL-algebras

Young Jun, Jung Ko (2004)

Open Mathematics

The notion of n-fold grisly deductive systems is introduced. Some conditions for a deductive system to be an n-fold grisly deductive system are provided. Extension property for n-fold grisly deductive system is established.

Foldness of Commutative Ideals in BCK-algebras

Celestin Lele, Salissou Moutari (2006)

Discussiones Mathematicae - General Algebra and Applications

This paper deals with some properties of n-fold commutative ideals and n-fold weak commutative ideals in BCK-algebras. Afterwards, we construct some algorithms for studying foldness theory of commutative ideals in BCK-algebras.

Currently displaying 1 – 20 of 27

Page 1 Next