- ${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".