A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35

In this note, by using the concept of Bipolar-valued fuzzy set, the notion of bipolar-valued fuzzy BCK/BCI-algebra is introduced. Moreover, the notions of (strong) negative s-cut (strong) positive t-cut are introduced and the relationship between these notions and crisp subalgebras are studied.

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.

In this paper, the concepts of intuitionistic fuzzy translation to intuitionistic fuzzy Hideals in BCK/BCI-algebras are introduced. The notion of intuitionistic fuzzy extensions and intuitionistic fuzzy multiplications of intuitionistic fuzzy H-ideals with several related properties are investigated. Also the relationships between intuitionistic fuzzy translations, intuitionistic fuzzy extensio...

In this paper, we introduce a new class algebras related to BCK-algebras and semigroups, called a KS-semigroup and define an ideal of a KS-semigroups and a strong KS-semigroup, and characterizations of ideals is given. Also we define a congruence relation on a KS-semigroups and a quotient KS-semigroups and prove the isomorphism. Mathematics Subject Classification: 06F35, 03G25

DoSen, K. Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic, Theoretical Computer Science 102 (1992) 207-214. It is shown that nonmodal classical linear first-order predicate logic based on multiplicative conjunction, additive disjunction, negation, the propositional constants and the existential quantifier is included in intuitionistic linear first-order pr...

/ 0214365 7 5&8 9;:28 3 < 9 1>= 8 3?7A@ BC9 DE7%FG@ 8 8-:H= 7H< I J < B K&LM9-B%FN7 F OHB 9 1PLP0 DQ@ B 9 :CR K 7 DS1><#TCB F LU7 O28 V @ 9-8 W X 8 K < R 3 < 7%F 1PK OZY4[Z\ ]%^;14K_7`5 B 9 LU7H= F 8#DSX F J LM1PDa8-: 1>7b3 RC3 Lc8 DdLUBb3 7 T 8E5 B ef8 9geh0 1MF 8_D 7C14K LU7 1PK 14K2Oi7j:28 3 149 8-: 5 F 7 RH= 7H< IE9-7 Lc8 kmlfX 9n7%F OHB 9 14LP0 Do143`3 1PDS1MF 7 9`14Kp< B D`5qF 8-r 14LMR L...

The ultimate goal of these lectures is to present the ergodic theory of the Burgers equation with random force in noncompact setting. Developing such a theory has been considered a hard problem since the first publication on the randomly forced inviscid Burgers [EKMS00]. It was solved in a recent work [BCK] for the forcing of Poissonian type. The Burgers equation is a basic fluid dynamic model,...