Korean Journal of Logic (논리연구)
- Volume 5 Issue 1
- /
- Pages.45-61
- /
- 2001
- /
- 1598-7493(pISSN)
연관relevant논리와 다치논리의 관계 연구 : $BN_{c1}$ 과 $L{\L}C^+$ 의 구문론적 관계 연구
Abstract
이 글에서 우리는 연관 명제계산과 무한다치 명제계산 사이의 관계를 살핀다. 구체적으로 우리는 연관 명제계산