• 논리연구
• /
• 제5권1호
• /
• pp.45-61
• /
• 2001

이 글에서 우리는 연관 명제계산과 무한다치 명제계산 사이의 관계를 살핀다. 구체적으로 우리는 연관 명제계산 $BN_{c1}$이 무한다치 명제계산 $L{\L}C^+$를 포함하는 확장 체계로 간주될 수 있다는 것을 보인다. 즉 $L{\L}C^+$에 직관주의 명제논리에 사용된 부정을 첨가한 후, $BN_{c1}$이 이 체계 $L{\L}C^+$로 변역될 수 있다는 것을 보인다.

• 논리연구
• /
• 제7권2호
• /
• pp.105-120
• /
• 2004

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