The notion of pseudo-valuations (valuations) on a BCC-algebra is introduced by using the Buşneag’s model ([1–3]), and a pseudo-metric is induced by a pseudo-valuation on BCC-algebras. Conditions for a real-valued function to be an BCK-pseudo-valuation are provided. The fact that the binary operation in BCC-algebras is uniformly continuous is provided based on the notion of (pseudo) valuation.

For an o-minimal expansion R of a real closed field and a set V of Th(R)-convex valuation rings, we construct a “pseudo completion” with respect to V . This is an elementary extension S of R generated by all completions of all the residue fields of the V ∈ V , when these completions are embedded into a big elementary extension of R. It is shown that S does not depend on the various embeddings u...

The notion of a positive implicative pseudo-valuation on a BCKalgebra is introduced, and its characterizations are investigated. The relationship between a pseudo-valuation and a positive implicative pseudovaluation is examined. Reduction property for a positive implicative pseudo-valuation is established. Mathematics Subject Classification: 06F35, 03G25

CARL FAITH All rings considered are commutative with unit. A ring R is SISI (in Vámos' terminology) if every subdirectly irreducible factor ring R/I is self-injective . SISI rings include Noetherian rings, Morita rings, and almost maximal valuation rings ([Vil) . In [F3] we raised the question of whether a polynomial ring R[-1 over a SISI ring R is again SISI . In this paper we show this is not...

Based on the Buşneag’s model ([2, 3, 4]), the notion of pseudovaluations (valuations) on a BE-algebra is introduced, and a pseudometric is induced by a pseudo-valuation on BE-algebras. Related properties are investigated, and conditions for a real-valued function on a BE-algebra to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation in ...

let d be a division ring with centre k and dim, d< ? a valuation on k and v a noninvariant extension of ? to d. we define the initial ramfication index of v over ?, ?(v/ ?) .let a be a valuation ring of o with maximal ideal m, and v , v ,…, v noninvariant extensions of w to d with valuation rings a , a ,…, a . if b= a , it is shown that the following conditions are equivalent: (i) b is a finite...

The aim of this paper is to introduce the notion of fantastic deductive systems on generalizations of fuzzy structures, and to emphasize their role in the probability theory on these algebras. We give a characterization of commutative pseudo-BE algebras and we generalize an axiom system consisting of four identities to the case of commutative pseudo-BE algebras. We define the fantastic deductiv...

In this note we give an algebraic proof of “deformation quantization” by making use of the theory of Unital Gröbner bases over a valuation ring. MSC: 16Z05,13P10 In this note we give an algebraic proof of deformation quantization (c.f. [7]). We do this be developing in (Sec. 1) the theory of unital Gröbner bases over a valuation ring. We then in (Sec. 2) obtain, almost immediately, our desired ...