• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.69-81
• /
• 2003

이 논문에서 우리는 (축약 원리가 없는) 연관 체계 EW은 이웃 체계들을 다룬다. 구체적으로 우리는 확장 원리를 포함하지만 축약 원리를 포함하지 않는 E (Ee-W) 체계, 특수 주장 specialized assertion(sa) 원리를 포함하지 않는 Ee-W (Ee-Wsa) 체계, 자기 배분 self-distribution(sd) 원리를 포함하지 않는 Ee-W (Ee-Wsd) 체계, 그리고 체인chain(c) 원리와 축약 원리를 포함하는 Ee 체계들의 확장 Eec-Wsa, Eec-Wsd, Eec-W, Eec를 다룬다. 우리는 루트리 마이어 의미론을 사용해서 이 체계들을 위한 완전성을 보인다.

• Korean Journal of Logic
• /
• v.18 no.3
• /
• pp.437-456
• /
• 2015

This paper deals with Routley-Meyer semantics for two versions of R of Relevance. For this, first, we introduce two systems $R^t$, $R^T$ and their corresponding algebraic semantics. We next consider Routley-Meyer semantics for these systems.

• Korean Journal of Logic
• /
• v.7 no.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".