책 이미지
eBook 미리보기
책 정보
· 제목 : R-calculus, IV: Propositional logic (Hardcover)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9789811986321
· 쪽수 : 252쪽
· 출판일 : 2023-03-29
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9789811986321
· 쪽수 : 252쪽
· 출판일 : 2023-03-29
목차
Introduction.- R-calculus for simplified propositional logics.- R-calculi for tableau/Gentzen deduction systems.- R-calculi RQ1Q2/RQ1Q2.- R-calculi RQ1iQ2j/RQ1iQ2j.- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j.- R-calculi for supersequents.- R-calculi for -propositional logic.
