기관회원 [로그인]
소속기관에서 받은 아이디, 비밀번호를 입력해 주세요.
개인회원 [로그인]

비회원 구매시 입력하신 핸드폰번호를 입력해 주세요.
본인 인증 후 구매내역을 확인하실 수 있습니다.

회원가입
서지반출
Implicative filters of lattice implication algebras
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • Implicative filters of lattice implication algebras
  • Implicative filters of lattice implication algebras
저자명
Jun. Young-Bae
간행물명
Bulletin of the Korean Mathematical Society
권/호정보
1997년|34권 2호|pp.193-198 (6 pages)
발행정보
대한수학회
파일정보
정기간행물|ENG|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

In order to research the logical system whose propositional value is given in a lattice, Y. Xu [4] proposed the concept of lattice implication algebras, and discussed their some properties in [3] and [4]. Y. Xu and K. Qin [5] introduced the notions of filter and implicative filter in a lattice implication algebra, and investigated their properties. In this paper, in the first place, we give an equivalent condition of a filter, and provide some equivalent conditions that a filter is an implicative filter in a lattice implication algebra. By using these results, we construct an extension property for implicative filter.