Honam Mathematical Journal (호남수학학술지)

The Honam Mathematical Society (호남수학회)
권호 표지
DOI QR코드

DOI QR Code

DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS

  • Kim, Young-Hie (Department of Mathematics Yonsei University) ;
  • Ahn, Sun-Shin (Department of Mathematics Education Dongguk University)
  • Received : 2010.08.26
  • Accepted : 2010.11.03
  • Published : 2010.12.25
Download PDF
⟨ Previous Next ⟩

Abstract

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.

Keywords

References

  1. I. Chajda and R. Halas, Algebraic properties of pre-logics, Math. Slovaca 52(2002), 157-175.
  2. K. H. Kim and Y. H. Yon, Dual BCK-algebra and MV-algebra, Sci. Math. Japon. 66(2007), 247-253.
  3. A. Walendiziak, On Commutative BE-algebras, Sci. Math. Japon. on line (e2007), 585-588.

Cited by

  1. ON SPECIAL SETS IN PRE-LOGICS vol.33, pp.1, 2011, https://doi.org/10.5831/HMJ.2011.33.1.061
  2. IDEAL THEORY OF PRE-LOGICS BASED ON N-STRUCTURES vol.33, pp.4, 2011, https://doi.org/10.5831/HMJ.2011.33.4.535