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...

This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass— the class of weakly implicativ...

By considering the notion of MV-algebras, we recall some results on enumeration of MV-algebras and wecarry out a study on characterization of MV-algebras of orders $2$, $3$, $4$, $5$, $6$ and $7$. We obtain that there is one non-isomorphic MV-algebra of orders $2$, $3$, $5$ and $7$ and two non-isomorphic MV-algebras of orders $4$ and $6$.

Let A := (A,→, 1) be a Hilbert algebra. The monoid of all unary operations on A generated by operations αp : x → (p → x), which is actually an upper semilattice w.r.t. the pointwise ordering, is called the adjoint semilattice of A. This semilattice is isomorphic to the semilattice of finitely generated filters of A, it is subtractive (i.e., dually implicative), and its ideal lattice is isomorph...

In this paper, by using the concept of belongingness (∈) and quasi-coincidence (q) between fuzzy points and fuzzy sets, we introduce (α, β)-fuzzy positive implicative ideals in BCK-algebras where α, β are any of {∈, q, ∈ ˅ q, ∈ ˄ q} with α ≠ ∈ ˄ q.

This paper complements a series of works on implicative verbs such as manage to and fail to. It extends the description of simple implicative verbs to phrasal implicatives as take the time to and waste the chance to. It shows that the implicative signatures of verb-noun collocations depend both on the semantic type of the verb and the semantic type of the noun in a systematic way.

A pseudo-addition in BL-algebras is a binary operation that is associative and non commutative. The aim of this paper is to use the notion of pseudo-addition to study the notion of ideal and fuzzy ideal as a natural generalization of that of ideal and fuzzy ideal in MV-algebras. Using a pseudo-addition, we characterize fuzzy ideals and also obtain a concrete description of the fuzzy ideals gene...

In this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them.  And we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. Also, we prove that  right and product stabilizers are filters and if they are ...