We investigate quantitative properties of BCI and BCK logics. The first part of the paper compares the number of formulas provable in BCI versus BCK logics. We consider formulas built on implication and a fixed set of k variables. We investigate the proportion between the number of such formulas of a given length n provable in BCI logic against the number of formulas of length n provable in ric...

Let $(X,d)$ be an infinite compact metric space, let $(B,parallel . parallel)$ be a unital Banach space, and take $alpha in (0,1).$ In this work, at first we define the big and little $alpha$-Lipschitz vector-valued (B-valued) operator algebras, and consider the little $alpha$-lipschitz $B$-valued operator algebra, $lip_{alpha}(X,B)$. Then we characterize its second dual space.

We prove that two dual operator algebras are weak Morita equivalent in the sense of [4] if and only if they have equivalent categories of dual operator modules via completely contractive functors which are also weakcontinuous on appropriate morphism spaces. Moreover, in a fashion similar to the operator algebra case we can characterize such functors as the module normal Haagerup tensor product ...

in the present paper for a large family of topological semigroups, namely foundation semigroups, for which topological groups and discrete semigroups are elementary examples, it is shown that ?(s) is the dual of a function algebra.

BCK-algebras, introduced in the 1960s by Imai and Iséki [3], form a well-known class of algebras intensively studied in algebraic logic during the last decades. The reason of their introduction was practically twofold: they describe general properties of algebras of sets with the set subtraction as a binary operation, and secondly, they form a natural generalization of algebraic counterparts of...

‎let $x$‎, ‎$y$ and $z$ be banach spaces and $f:xtimes y‎ ‎longrightarrow z$ a bounded bilinear map‎. ‎in this paper we‎ ‎study the relation between arens regularity of $f$ and the‎ ‎reflexivity of $y$‎. ‎we also give some conditions under which the‎ ‎arens regularity of a banach algebra $a$ implies the arens‎ ‎regularity of certain banach right module action of $a$‎ .

In this work, the Z3-graded differential geometry of the quantum plane is constructed. The corresponding quantum Lie algebra and its Hopf algebra structure are obtained. The dual algebra, i.e. universal enveloping algebra of the quantum plane is explicitly constructed and an isomorphism between the quantum Lie algebra and the dual algebra is given. E-mail: [email protected]

if we formulate our logics in a Gentzen-type formal system. Some syntactical properties of these logics have been studied firstly by the second author in [I I], in connection with the study of BCK-algebras (for information on BCK-algebras, see [9]). There, it turned out that such a syntactical method is a powerful and promising tool in studying BCK-algebras. Using this method, considerable prog...

Mitochondrial protein kinases (mPKs) are molecular switches that down-regulate the oxidation of branched-chain alpha-ketoacids and pyruvate. Elevated levels of these metabolites are implicated in disease states such as insulin-resistant Type II diabetes, branched-chain ketoaciduria, and primary lactic acidosis. We report a three-dimensional structure of a member of the mPK family, rat branched-...