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

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

회원가입
서지반출
${L}C$, LC를 위한 루트리-마이어 의미론 : 실질 함의의 역설과 다치 함의의 대안적 특성들
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • ${L}C$, LC를 위한 루트리-마이어 의미론 : 실질 함의의 역설과 다치 함의의 대안적 특성들
저자명
양은석,Yang. Eun-Seok
간행물명
논리연구= Korean journal of logic
권/호정보
2004년|7권 2호|pp.105-120 (16 pages)
발행정보
한국논리학회
파일정보
정기간행물|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

In this paper, we provide Routley-Meyer semantics for the many-valued logics ${L}C$ and LC, and give completeness for each of them. This result shows the following two: 1) Routley-Meyer semantics is very powerful in the sense that it can be used as the semantics for several sorts of logics, i.e., many-valued logic, not merely relevance logic and substructural logic. Note that each implication of ${L}C$ and LC does not (partially) result in "paradoxes of material implication" 2) This implies that Routley-Meyer semantics can be also used not merely for relevance systems but also for other logical systems such as ${L}C$ and LC, each of which has its own implication by which we can overcome (partially) the problem of "paradoxes of material implication".