论文信息 - BCC-algebras with pseudo-valuations

BCC-algebras with pseudo-valuations

The notion of pseudo-valuations (valuations) on a BCC-algebra is introduced by using the Busneag's model ((1-3)), and a pseudo-metric is induced by a pseudo-valuation on BCC-algebras. Con- ditions 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.

Young Bae Jun | Sun Shin Ahn | Eun Hwan Roh

[1] Dumitru Busneag. On extensions of pseudo-valuations on Hilbert algebras , 2003, Discret. Math..

[2] K. Iseki,et al. AN INTRODUCTION TO THE THEORY OF THE BCK-ALGEBRAS , 1978 .

[3] Dumitru Busneag. HILBERT ALGEBRAS WITH VALUATIONS , 1996 .

[4] IorgulescuAfrodita. On BCK algebras , 2008, SOCO 2008.

[5] Catalin Busneag. Valuations on residuated lattices , 2007 .

[6] W. Dudek,et al. On ideals and congruences in bcc-algebras , 1998 .

[7] A. Wronski. BCK-algebras do not form a variety , 1983 .

[8] K. Iseki,et al. ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI XIV , 1966 .