• 한국논리학회:학술대회논문집
• /
• 한국논리학회 2009년도 동계학술 발표회
• /
• pp.38-66
• /
• 2009

Weakening-free non-associative fuzzy logics, which are based on mica-norms, are introduced as non-associative substructural logics extending $GL_{e\bot}$ (Non-associative Full Lambek calculus with exchange and constants T, F) introduced by Galatos and Ono (cf. see [10, 11]). First, the mica-norm logic MICAL, which is intended to cope with the tautologies of left-continuous conjunctive mica-norms and their residua, and several axiomatic extensions of it are introduced as weakening-free non-associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness (i,e. completeness with respect to algebras whose lattice reduct is the real unit interval [0, 1]) is established for these logics by using Jenei and Montagna-style approach for proving standard completeness in [7, 18].

• Journal of Mechanical Science and Technology
• /
• 제19권8호
• /
• pp.1568-1575
• /
• 2005

The calculation of the transmission loss of the silencers with complicated internal structures by the conventional BEM combined with the transfer matrix method is incorrect at best or impossible for 3-dimensional silencers due to its inherent plane wave assumption. On this consideration, we propose an efficient practical means to formulate algebraic overall condensed acoustic equations for the whole acoustic structure, where particle velocities on the domain interface boundaries are unknowns, and the solutions are used later to compute the overall transfer matrix elements, based on the multi-domain BEM data. The transmission loss estimation by the proposed method is tested by comparison with the experimental one on an air suction silencer with perforated internal structures installed in air compressors. The method shows its viability by presenting the reasonably consistent anticipation of the experimental result.

• Korean Journal of Mathematics
• /
• 제22권1호
• /
• pp.207-216
• /
• 2014

The manifold $^*g-ESX_n$ is a generalized n-dimensional Riemannian manifold on which the differential geometric structure is imposed by the unified field tensor $^*g^{{\lambda}{\nu}}$ through the ES-connection which is both Einstein and semi-symmetric. The purpose of the present paper is to study the algebraic geometric structures of 3-dimensional $^*g-ESX_3$. Particularly, in 3-dimensional $^*g-ESX_3$, we derive a new set of powerful recurrence relations in the first class.

• Journal of applied mathematics & informatics
• /
• 제32권5_6호
• /
• pp.827-842
• /
• 2014

In this paper, we introduce the notion of Cayley intuitionistic fuzzy graphs and investigate some of their properties. We present some interesting properties of intuitionistic fuzzy graphs in terms of algebraic structures. We discuss connectedness in Cayley intuitionistic fuzzy graphs. We also describe different types of ${\alpha}$-connectedness in Cayley intuitionistic fuzzy graphs.

• Kyungpook Mathematical Journal
• /
• 제49권3호
• /
• pp.411-418
• /
• 2009

In this paper we introduce the notions of strict persistence and weakly strict persistence which are stronger than those of persistence and weak persistence, respectively, and study their relations with shadowing property. In particular, we show that the weakly strict persistence and the weak inverse shadowing property are locally generic in Z(M).

• Korean Journal of Mathematics
• /
• 제26권3호
• /
• pp.503-517
• /
• 2018

Keeping in view the expediency of soft sets in algebraic structures and as a mathematical approach to vagueness, in this paper the concept of lattice ordered soft near rings is introduced. Different properties of lattice ordered soft near rings by using some operations of soft sets are investigated. The concept of idealistic soft near rings with respect to lattice ordered soft near ring homomorphisms is deliberated.

• 대한수학회지
• /
• 제54권1호
• /
• pp.215-225
• /
• 2017

In this paper, we study some equivalence relations between continuous frames in a Hilbert space ${\mathcal{H}}$. In particular, we seek two necessary and sufficient conditions under which two continuous frames are near. Moreover, we investigate a distance between continuous frames in order to acquire the closest and nearest tight continuous frame to a given continuous frame. Finally, we implement these results for shearlet and wavelet frames in two examples.

• Korean Journal of Mathematics
• /
• 제24권3호
• /
• pp.319-330
• /
• 2016

The manifold $^*g-ESX_n$ is a generalized n-dimensional Riemannian manifold on which the differential geometric structure is imposed by the unied eld tensor $^*g^{{\lambda}{\nu}}$ through the ES-connection which is both Einstein and semi-symmetric. The purpose of the present paper is to study the algebraic geometric structures of 5-dimensional $^*g-ESX_5$. Particularly, in 5-dimensional $^*g-ESX_5$, we derive a new set of powerful recurrence relations in the first class.

• 대한수학회보
• /
• 제33권4호
• /
• pp.619-629
• /
• 1996

In studying smooth 4-manifolds the Donaldson invariant has played a central role. In [D1] Donaldson showed that non-vanishing Donaldson invariant of a smooth closed oriented 4-manifold X gives rise to the indecomposability of X. For instance, the complex algebraic suface X cannot decompose to a connected sum $X_1 #X_2$ with both $b_2^+(X_i) > 0$.

• 한국지능시스템학회논문지
• /
• 제24권2호
• /
• pp.201-208
• /
• 2014

Park et al. introduced the concept of generalized intuitionistic fuzzy soft sets, which can be seen as an effective mathematical tool to deal with uncertainties. In this paper, we introduce new operations such as restricted union and restricted intersection and study their basic properties, and deal with the algebraic structure of generalized intuitionistic fuzzy soft sets. The lattice structures of generalized intuitionistic fuzzy soft sets are constructed.