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

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

회원가입
서지반출
Routley-Meyer Semantics for E-R, Ee-R, Eec-R
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • Routley-Meyer Semantics for E-R, Ee-R, Eec-R
  • Routley-Meyer Semantics for E-R, Ee-R, Eec-R
저자명
Yang. Eun-Suk
간행물명
논리연구= Korean journal of logic
권/호정보
2003년|6권 1호|pp.19-32 (14 pages)
발행정보
한국논리학회
파일정보
정기간행물|ENG|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

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.