• Korean Journal of Logic
• /
• v.6 no.1
• /
• pp.19-32
• /
• 2003

In this paper we investigate the relevance logic E-R of the Entailment E without the reductio (R), and its extensions Ee-R, Eec-R: Ee-R is the E-R with the expansion (e) and Eec-R the Ee-R with the chain (c). We give completeness for each E-R, Ee-R, and Eec-R by using Routley-Meyer semantics.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.559-578
• /
• 2019

We list all subfields of cyclotomic function fields over rational function fields with class number three. We also determine all the imaginary abelian extensions with relative class number three, explicitly.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.47-58
• /
• 2021

In this article, we completely determine the rings for which every element is a sum of a nilpotent and three tripotents that commute with one another. We discuss this property for some extensions of rings, including group rings.

• Honam Mathematical Journal
• /
• v.44 no.1
• /
• pp.146-147
• /
• 2022

Let 𝔹_p,n be the n-th layer of the cyclotomic ℤ_p-extension over the rationals. In this note, we will prove that the p-class group of 𝔹_p,n is trivial for all n by elementary method.

• Kyungpook Mathematical Journal
• /
• v.61 no.4
• /
• pp.765-779
• /
• 2021

The fundamental goal of this paper is to investigate some inequalities involving the special beta function in n variables. Our theoretical results obtained here are extensions and refinements for some inequalities already discussed in the literature.

• Journal of the Korean Institute of Educational Facilities
• /
• v.13 no.2
• /
• pp.5-14
• /
• 2006

After the change of curriculum in the Year 2000, Partial extensions and renovations were carried out for functional correspondence. Despite of the importance of contextual consideration for facade, Leaning to curriculum and function leads to visual problems between old existing and new building in many case of educational facilities. therefore Design Guidelines for the Facade of extension and renovation are needed. In this study, First, made a survey of the level of satisfaction and harmony of facade of extensions and renovations on elementary schools which have extended and renovated since the Year 2000. secondary, analyzed the interrelationship between the level of satisfaction and harmony and design elements of facade of extension and renovation and lastly, derived design guidelines from them. Results of this study are as follows; 1) The more latest building, the more high in the level of satisfaction and harmony 2) The sequences of the level of satisfaction in finishing materials are as follows : stone>brick>paint 3) When the proportion of existing to new building over a half, higher level of satisfaction appears on the whole. 4) How overcomes the gap of time is the matter in the facade design of extension and renovation.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.6
• /
• pp.866-878
• /
• 1995

This paper explains design and implementation of Multimedia E-mail system as a research on multimedia service. It is based on MIME(Multipurpose Internet Mail Extensions) which extends RFC822. MIME is a standard mail tran sfer protocol which can include multiple objects in a single message, represent non-textual material such as images and audio, exchange without loss of multimedia information through SMTP(Simple Mail Transfer Protocol). It is implementation of Multimedia Mail system which can store, delete, edit and tran sfer multimedia mail misgave in user friendly way on UNIX system. It aims tp develope framework for multimedia E-mail system.

• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.437-461
• /
• 2016

This paper investigates weakening-free fuzzy logics with three weak forms of associativity (of multiplicative conjunction &). First, the wta-uninorm (based) logic $WA_tMUL$ and its two axiomatic extensions are introduced as weakening-free weakly associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness is established for $WA_tMUL$ and the two axiomatic extensions with an additional axiom using construction in the style of Jenei-Montagna.

• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.363-379
• /
• 2016

Motivated mainly by certain interesting recent extensions of the generalized hypergeometric function [Integral Transforms Spec. Funct. 23 (2012), 659-683] and the second Appell function [Appl. Math. Comput. 219 (2013), 8332-8337] by means of the incomplete Pochhammer symbols $({\lambda};{\kappa})_{\nu}$ and $[{\lambda};{\kappa}]_{\nu}$, we introduce here the family of the incomplete generalized ${\tau}$-hypergeometric functions $2{\gamma}_1^{\tau}(z)$ and $2{\Gamma}_1^{\tau}(z)$. The main object of this paper is to study these extensions and investigate their several properties including, for example, their integral representations, derivative formulas, Euler-Beta transform and associated with certain fractional calculus operators. Further, we introduce and investigate the family of incomplete second ${\tau}$-Appell hypergeometric functions ${\Gamma}_2^{{\tau}_1,{\tau}_2}$ and ${\gamma}_2^{{\tau}_1,{\tau}_2}$ of two variables. Relevant connections of certain special cases of the main results presented here with some known identities are also pointed out.

• ALGAE
• /
• v.22 no.4
• /
• pp.273-286
• /
• 2007

Records of selected gymnodinioid dinoflagellates from the open waters in the vicinity of the Kuroshio and Oyashio Currents, the Philippine, Celebes, Sulu and South China Seas, western and central equatorial and southeast Pacific Ocean are described and illustrated. The species Gymnodinium fusus Schütt, Gyrodinium falcatum Kofoid et Swezy, G. caudatum Kofoid et Swezy, G. sugashimanii J. Cachon et al. and Pseliodinium vaubanii Sournia are considered to be morphotypes of a single species, that until further studies can establish the correct genus, are named G. falcatum. This study is the first to record individuals of G. falcatum with very long curly extensions. Other gymnodinioid dinoflagellates that showed bifurcated hyposomes may be related to Gyrodinium bifurcatum Kofoid et Swezy or cells of thecate dinoflagellates exuviated from their thecae. Some specimens showed a rigid cover, although no discernible thecal plates. In this group, the most common species was Ptychodiscus noctiluca Stein and, for the first time, a micrograph of a tentative specimen of the genus Berghiella Kofoid et Michener is reported. The validity of the genera Berghiella and Balechina Loeblich Jr. et Loeblich III with thick cell covers is discussed. Several species with apical extensions, other unknown taxa with distinctive shapes, and colonial forms are illustrated. The diversity of gymnodinioid dinoflagellates is underinvestigated in the open ocean.