• Title/Summary/Keyword: axioms

Search Result 137, Processing Time 0.025 seconds

REMARKS ON WEAK HYPERMODULES

  • Davvaz, B.
    • Bulletin of the Korean Mathematical Society
    • /
    • v.36 no.3
    • /
    • pp.599-608
    • /
    • 1999
  • $H_v$-rings first were introduced by Vougiouklis in 1990. Then Darafsheh and the present author defined the $H_v$-ring of fractions $S_{-1}R$ of a commutative hyperring. The largest class of multivalued systems satisfying the module-like axioms is the Hv-module. In this paper we define $H_v$-module of fractions of a hypermodule. Some interesting results concerning this $H_v$-module is proved.

  • PDF

AXIOMS FOR THE THEORY OF RANDOM VARIABLE STRUCTURES: AN ELEMENTARY APPROACH

  • Song, Shichang
    • Journal of the Korean Mathematical Society
    • /
    • v.51 no.3
    • /
    • pp.527-543
    • /
    • 2014
  • The theory of random variable structures was first studied by Ben Yaacov in [2]. Ben Yaacov's axiomatization of the theory of random variable structures used an early result on the completeness theorem for Lukasiewicz's [0, 1]-valued propositional logic. In this paper, we give an elementary approach to axiomatizing the theory of random variable structures. Only well-known results from probability theory are required here.

On Soft Topological Space via Semiopen and Semiclosed Soft Sets

  • Mahanta, Juthika;Das, Pramod Kumar
    • Kyungpook Mathematical Journal
    • /
    • v.54 no.2
    • /
    • pp.221-236
    • /
    • 2014
  • This paper introduces semiopen and semiclosed soft sets in soft topological spaces and then these are used to generalize the notions of interior and closure. Further, we study the properties of semiopen soft sets, semiclosed soft sets, semi interior and semi closure of soft set in soft topological spaces. Various forms of soft functions, like semicontinuous, irresolute, semiopen and semiclosed soft functions are introduced and characterized including those of soft semicompactness, soft semiconnectedness. Besides, soft semiseparation axioms are also introduced and studied.

On Generalized Quasi-preclosed Sets and Quasi Preseparation Axioms

  • Park, Jin Han;Pyo, Yong Soo
    • Honam Mathematical Journal
    • /
    • v.25 no.1
    • /
    • pp.141-152
    • /
    • 2003
  • In this paper, we define generalized quasi-preclosed sets and gqp-closed functions and obtain some new characterizations of quasi P-normal spaces and quasi P-regular spaces due to Tapi et al. [9,11]. It is shown that the pairwise continuous pre gqp-closed (resp. pairwise preopen pre gqp-closed) surjective image of quasi P-normal (resp. quasi P-regular) space is quasi P-normal (resp. quasi P-regular).

  • PDF

A Completion of Semi-simple MV-algebra

  • 박평우
    • Journal for History of Mathematics
    • /
    • v.13 no.1
    • /
    • pp.125-136
    • /
    • 2000
  • The notion of MV-algebra was introduced by C.C. Chang in 1958 to provide an algebraic proof of the completeness of Lukasiewicz axioms for infinite valued logic. These algebras appear in the literature under different names: Bricks, Wajsberg algebra, CN-algebra, bounded commutative BCK-algebras, etc. The purpose of this paper is to give a topological lattice completion of semisimple MV-algebras. To this end, we characterize the complete atomic center MV-algebras and semisimple algebras as subalgebras of a cube. Then we define the $\delta$-completion of semisimple MV-algebra and construct the $\delta$-completion. We also study some important properties and extension properties of $\delta$-completion.

  • PDF

On Fuzzy Irresolute Functions

  • Ekici, Erdal;Park, Jin-Han
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.5 no.2
    • /
    • pp.164-168
    • /
    • 2005
  • As a generalization of the notions of fuzzy $\alpha-irresolute$, fuzzy preirresolute, fuzzy irresolute and fuzzy $\beta-irresolute$ functions, we introduce the notion of fuzzy $\beta\alpha-continuous$ functions and investigate the relationships between fuzzy $\beta\alpha-continuous$ functions and fuzzy separation axioms.

PRE-CONVERGENCE OF p-STACKS ON TOPOLOGICAL SPACES

  • Min, Won-Keun
    • The Pure and Applied Mathematics
    • /
    • v.14 no.1 s.35
    • /
    • pp.15-21
    • /
    • 2007
  • We introduce the notion of pre-convergence of p-stacks and characterize the pre-interior, pre-closure, separation axioms and pre-continuity on a topological space by using pre-convergence of p-stacks. We also introduce the notion of p-precompactness and investigate its properties in terms of pre-convergence of p-stacks.

  • PDF

QUASI-FUZZY CONTINUITY AND QUASI-FUZZY SEPARATION AXIOMS

  • Park, Jin-Han;Park, Jin-Keun;Shin, Su-Young
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 1998.10a
    • /
    • pp.70-76
    • /
    • 1998
  • The aim of this paper is to study and find characterizations of quasi-fuzzy continuous and quasi-fuzzy closed mappings between fuzzy bitopological spaces. The notion of quasi-fuzzy open sets is used to defined quasi-fuzzy Ti (i=0, 1, 2) and quasi-fuzzy regular spaces and these spaces are investigated under quasi-fuzzy continuity. Finally, quasi-fuzzy connectednss is introduced and studied to some extent.

  • PDF

Pythagorean Theorem I: In non-Hilbert Geometry (피타고라스의 정리 I: 비-힐베르트 기하에서)

  • Jo, Kyeonghee;Yang, Seong-Deog
    • Journal for History of Mathematics
    • /
    • v.31 no.6
    • /
    • pp.315-337
    • /
    • 2018
  • Pythagorean thoerem exists in several equivalent forms in the Euclidean plane, that is, the Hilbert plane which in addition satisfies the parallel axiom. In this article, we investigate the truthness and mutual relationships of those propositions in various non-Hilbert planes which satisfy the parallel axiom and all the Hilbert axioms except the SAS axiom.

SEMI-NEUTRAL GROUPOIDS AND BCK-ALGEBRAS

  • Kim, Hee Sik;Neggers, Joseph;Seo, Young Joo
    • Communications of the Korean Mathematical Society
    • /
    • v.37 no.3
    • /
    • pp.649-658
    • /
    • 2022
  • In this paper, we introduce the notion of a left-almost-zero groupoid, and we generalize two axioms which play important roles in the theory of BCK-algebra using the notion of a projection. Moreover, we investigate a Smarandache disjointness of semi-leftoids.