논문KCI 등재
연관 r elevant 논리와 다치논리의 관계 연구: BNc1 과 LLC+의 구문론적 관계 연구
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류철학
초록
이 글에서 우리는 연관 명제계산과 무한다치 명제계산 사이의 관계를 살핀다. 구체적으로 우리는 연관 명제계산 BNc1이 무한다치 명제계산LŁC을 포함하는 확장 체계로 간주될 수 있다는 것을 보인다. 즉 LŁC에 직관주의 명제논리에 사용된 부정을 첨가한 후, BNc1이 이 체계 LŁC+로 번역될 수 있다는 것을 보인다.
관련 논문AI추천
ŁC, LC를 위한 루트리-마이어 의미론양은석한국논리학회 · 논리연구2004 · 제7권 제2호Implicational Partial Gaggle Logics and Matrix Semantics양은석한국논리학회 · 논리연구2023 · 제26권 제2호약한 결합 원리를 만족하는 준선형 논리와 크립키식 의미론양은석중앙철학연구소 · 철학탐구2025 · 제78권 Routley-Meyer semantics for R양은석한국논리학회 · 논리연구2015 · 제18권 제3호자름규칙(cut)-제거 연역의 증명 길이에 대하여 자름규칙-제거 연역의 증명 길이에 대하여김범인한국논리학회 · 논리연구2003 · 제6권 제1호Relational Semantics for Fuzzy Extensions of R: Set-theoretic Approach양은석한국논리학회 · 논리연구2023 · 제26권 제1호