• 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.

• Journal of applied mathematics & informatics
• /
• v.38 no.5_6
• /
• pp.547-557
• /
• 2020

In this paper, we introduce the notions of (dual) residuated frames for a fuzzy logic as an extension of residuated frames for classical relational semantics. We investigate the relations between residuated connections and residuated frames on Alexandrov topologies based on [0, ∞]. Moreover, we study their properties and give their examples.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.8 no.4
• /
• pp.299-305
• /
• 2008

The object of this paper is to introduce the notion of compatible mapping of type(${\alpha}$) in intuitionistic fuzzy metric space, and to establish common fixed point theorem for five mappings in intuitionistic fuzzy metric space. Our research are an extension for the results of [1] and [7].

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.8 no.3
• /
• pp.202-206
• /
• 2008

We introduce the concept of interval-valued minimal structure which is an extension of the interval-valued fuzzy topology. And we introduce and study the concepts of IVF m-continuous and several types of compactness on the interval-valued fuzzy m-spaces.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1338-1341
• /
• 1993

We present here two Petri nets formalisms that can deal with uncertainty by the use of necessity-valued logic. The first and basic model, called necessity-valued Petri nets (NPN), can at the same time deal with uncertainty on markings are on transitions. The second model, called necessity-valued Petri nets (TNPN), is an extension of both NPN and timed Petri nets.

• Journal of Practical Engineering Education
• /
• v.10 no.1
• /
• pp.49-56
• /
• 2018

Various types of SW education are being operated by universities for non-major undergraduates. And most of them focus on educating computational thinking. Following this computing education, there is a need for an educational method that implements and evaluates creative computing outcomes for each student. In this paper, we propose a method to realize SW education based on creative computing artifacts. To do this, we propose an educational method for students to implement digital logic circuit devices creatively and design SW algorithms that implement the functions of their devices. The proposed training method teaches a simple LED logic circuit using an Arduino board as an example. Students creatively design and implement two pairs of two input logic circuit devices, and design algorithms that represent patterns of implemented devices in various forms. And they design the functional extension and extended algorithm using the input device. By applying the proposed method, non-major students can gain the concept and necessity of algorithm design through creative computing artifacts.

• Korean Institute of Interior Design Journal
• /
• v.23 no.5
• /
• pp.41-50
• /
• 2014

In relation to spatial expression, the remediation theory of Jay David Bolter & Richard Grusin shows a sufficient possibility of providing extended idea and experience through the space of critical representation. The remediation theory discussed in the scope of new media says about the existence method and the development process of media through immersion into media and awakening, and one attribute of remediation which aims at the extension of another realistic experience and recognition through various media, contains common denominators which display diversity and complexity of installation space, and use the audience as expression elements. Therefore, this study aims to apply the remediation theory in order to interpret space using more diverse and multisensory expression methods. For achieving this purpose, this study found the connection among characteristics of hypermediacy which is an axis of installation and remediation theory, and analyzed diverse cases regarding installation space and characteristics of hypermediacy, depending on external aspects of form and expression and internal aspects of experience and cognition. The method of hypermediation expression in installation space converts the recognition about the basic custom of new experience, space and representation. This means that the logic of remediation could approach space by leading to more extended form and recognition. In conclusion, the characteristics of space and the possibility of extended expression revealed in the relationship between installation space and hypermediacy logic would provide another developmental significance for research on space design.

• Archives of design research
• /
• v.12 no.4
• /
• pp.273-282
• /
• 1999

Typography is a subject of fundamental principle and considerable importance to the practice of design and visual language. In Typography education, we need to teach student with systematic, logic and holistic view prior to intuitive way. It must be emphasized as a foundation to all graphic design students who are familiar with digital media. despite the fact that high technology has invaded th design profession and the importance of learning how to deal with these new possibilities has grown, technological processes are not substituted nor are they excuses for not learning basic principles of Typography. Technology is merely and extension of these skills. The logic is objective and the intuition is subjective. Visual system exercises the student's ability to work objectively in thought and in method. Visual system presents the idea that logic and intuition can work together to give stronger results in problem solving than either can alone. I critically analyzed that what is system and how can we develop visual system which can be adapted to Typography education. I also have investigated visual system to find the possibility and flexibility in Typography education.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.19 no.3
• /
• pp.105-110
• /
• 2005

Programmable Logic Controller(PLC) is the most widely utilized among many sorts of existing controller for the design of factory automation control system, and study about a PLC language is peformed actively. In this paper, we proposed the encoding module that we increase input points when increased of the input machine which is going to control it in the FA design that used PLC. Input point is going to be extended with 2-3 points in the state that cannot equip input unit in basic base any more. Then an extension base, a power supply, an extension cable and an output nit must be equipped particularly. Then a cost must be added very much. This paper proposed the encoding module which extended an input in a small quantity, and we confirmed a feasibility through a simulation.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.3 no.2
• /
• pp.194-199
• /
• 2003

Data are an expression of the language or numerical values that show some features. And the information is extracted from data for the specific purposes. The knowledge is utilized as information to construct rules that recognize patterns or make a decision. Today, knowledge extraction and application of that are broadly accomplished for the easy comprehension and the performance improvement of systems in the several industrial fields. The knowledge extraction can be achieved by some steps that include the knowledge acquisition, expression, and implementation. Such extracted knowledge is drawn by rules with data mining techniques. Clustering (CL), input space partition (ISP), neuro-fuzzy (NF), neural network (NN), extension matrix (EM), etc. are employed for the knowledge expression based upon rules. In this paper, the various approaches of the knowledge extraction are surveyed and categorized by methodologies and applied industrial fields. Also, the trend and examples of each approaches are shown in the tables and graphes using the categories such as CL, ISP, NF, NN, EM, and so on.