• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.537-545
• /
• 2010

The notions of (weak) hyper MV-deductive systems and (weak) implicative hyper MV-deductive systems are introduced, and several properties are investigated. Relations among hyper MV-deductive systems, weak hyper MV-deductive systems, implicative hyper MV-deductive systems and weak implicative hyper MV-deductive systems are discussed. A characterization of a hyper MV-deductive system is provided. A condition for a weak hyper MV-deductive system to be a weak implicative hyper MV-deductive system is given.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.443-451
• /
• 2005

The notion of grisly deductive systems of a BL-algebra is introduced. Conditions for a deductive system to be a grisly deductive system are given. Extension property for a grisly deductive system is established

• Journal of applied mathematics & informatics
• /
• v.26 no.1_2
• /
• pp.427-436
• /
• 2008

The notion of vague deductive systems in subtraction algebras is introduced, and several properties are investigated. Conditions for a vague set to be a vague deductive system are provided. Characterizations of a vague deductive system are established.

• Asia pacific journal of information systems
• /
• v.2 no.2
• /
• pp.85-102
• /
• 1992

A deductive database consists of collection of stored facts and deductive rules. It can answer queries based on logical deduction from the stored facts and general rules. A deductive database has both a declarative meaning(semantics) and a procedural meaning. The declarative semantics of a deductive database provides a definition of the meaning of the program in a manner which is independent of procedural considerations, context-free, and easy to manipulate, exchange and reason about. This paper investigates various declarative semantics of deductive databases, dicusses related computational issues, and suggests another declarative semantics for deductive databases which is more practical than others.

• Communications of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.169-182
• /
• 2011

The notions of bipolar fuzzy hyper MV-subalgebras, (weak) bipolar fuzzy hyper MV-deductive system and precisely weak bipolar fuzzy hyper MV-deductive system are introduced, and their relations are investigated. Characterizations of bipolar fuzzy hyper MV-subalgebras and weak bipolar fuzzy hyper MV-deductive systems are provided.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.595-600
• /
• 1996

We give a characterization of a deductive system. We introduce the concept of maximal deductive systems and show that every bounded Hilbert algebra with at least two elements contains at least one maximal deductive system. Moreover, we introduce the notion of radical and semisimple in a Hilbert algebra and prove that if H is a bounded Hilbert algebra in which every element is an involution, then H is semisimple.

• Honam Mathematical Journal
• /
• v.29 no.3
• /
• pp.445-453
• /
• 2007

The notion of strong deductive system of a BL-algebra is introduced, and a characterization of a strong deductive system is given. A relation between a strong deductive system and a deductive system is given. It will be seen that every strong deductive system can be expressed as the union of special sets.

• Honam Mathematical Journal
• /
• v.32 no.4
• /
• pp.625-632
• /
• 2010

The notions of commutative pre-logics and terminal sections are introduced. Characterizations of a commutative prelogic are provided. Properties of deductive systems in pre-logics which are upper semilattices are considered.

• Honam Mathematical Journal
• /
• v.28 no.1
• /
• pp.45-56
• /
• 2006

We give characterizations of a deductive system of a BL-algebra, and discuss how to generate a deductive system by a set.

• The Pure and Applied Mathematics
• /
• v.15 no.3
• /
• pp.309-313
• /
• 2008

The notion of central Hilbert algebras and central deductive systems is introduced, and related properties are investigated. We show that the central part of a Hilbert algebra is a deductive system. Conditions for a subset of a Hilbert algebra to be a deductive system are given. Conditions for a subalgebra of a Hilbert algebra to be a deductive system are provided.