نتایج جستجو برای: hyper mv deductive system

تعداد نتایج: 2272927  

2010
Min Su Kang

Several types of skeletons in a hyper MV-algebra are introduced, and their relations are investigated.

Journal: :Annals of West University of Timisoara - Mathematics and Computer Science 2016

2017
MOHAMMAD EBRAHIMI ADEL MEHRPOOYA A. MEHRPOOYA B. Davvaz

This paper provides a review on major ergodic features of semiindependent hyper MV –algebra dynamical systems. Theorems are presented to make contribution to calculate the entropy. Particularly, it is proved that the total entropy of those semi-independent hyper MV –algebra dynamical systems that have a generator can be calculated with respect to their generator rather than considering all the ...

Journal: :Notre Dame Journal of Formal Logic 2009

2006
Jan Kühr

For any σ-complete Boolean algebras A and B, if A is isomorphic to [0, b] ⊆ B and B is isomorphic to [0, a] ⊆ A, then A B. Recently, several generalizations of this known CantorBernstein type theorem for MV-algebras, (pseudo) effect algebras and `-groups have appeared in [1], [2], [4] and [5]. We prove an analogous result for certain pseudo BCK-algebras—a noncommutative extension of BCK-algebra...

2007
LAVINIA CORINA CIUNGU A. Iorgulescu

Pseudo-BCK algebras were introduced by G. Georgescu and A. Iorgulescu as a generalization of BCK algebras in order to give a corresponding structure to pseudo-MV algebras, since the bounded commutative BCK algebras corresponde to MV algebras. Properties of pseudo-BCK algebras and their connections with other fuzzy structures were established by A. Iorgulescu and J. Kühr. The aim of this paper i...

2005
David J. Foulis

The unit interval in a partially ordered abelian group with order unit forms an interval effect algebra (IEA) and can be regarded as an algebraic model for the semantics of a formal deductive logic. There is a categorical equivalence between the category of IEA’s and the category of unigroups. In this article, we study the IEA-unigroup connection, focusing on the cases in which the IEA is a Boo...

Journal: :The Journal of experimental biology 2017
Nariman Hossein-Javaheri Michael P Wilkie Wudu E Lado Leslie T Buck

With oxygen deprivation, the mammalian brain undergoes hyper-activity and neuronal death while this does not occur in the anoxia-tolerant goldfish (Carassius auratus). Anoxic survival of the goldfish may rely on neuromodulatory mechanisms to suppress neuronal hyper-excitability. As γ-aminobutyric acid (GABA) is the major inhibitory neurotransmitter in the brain, we decided to investigate its po...

Journal: :Electronic Notes in Theoretical Computer Science 2012

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید