본문 바로가기

추천 검색어

실시간 인기 검색어

학술논문

괴델과 우카시에비치의 다치논리

이용수 3

영문명
Many Valued Logic of Gödel and Łukasiewicz
발행기관
목원대학교 교양교육혁신연구센터
저자명
연용호
간행물 정보
『지식과 교양』제12호, 265~280쪽, 전체 16쪽
주제분류
복합학 > 학제간연구
파일형태
PDF
발행일자
2023.07.31
4,720

구매일시로부터 72시간 이내에 다운로드 가능합니다.
이 학술논문 정보는 (주)교보문고와 각 발행기관 사이에 저작물 이용 계약이 체결된 것으로, 교보문고를 통해 제공되고 있습니다.

1:1 문의
논문 표지

국문 초록

괴델과 우카시에비치는 참 또는 거짓이라는 두 개의 진릿값을 갖는 고전 논리에 불확실성과 모호함을 의미하는 제3의 논리적 상황을 추가하기 위해 3치 논리를 제안하였다. 이 논리적 체계들은 다양한 다치 논리로 일반화되었으며, 특히, 괴델의 다치 논리는 헤이팅 대수로, 우카시에비치의 논리체계는 격자함의 대수로 발전하였다. 본 논문에서는 괴델과 우카시에비치의 다치 논리와 그들의 일반화인 헤이팅 대수와 격자함의 대수를 소개한다. 또한, 헤이팅 대수와 격자함의 대수의 성질과 이들의 관계를 조사한다. 특히, 유한 격자함의 대수에 특수한 함의연산자를 정의하여, 유한 격자함의 대수가 헤이팅 대수의 특수한 경우임을 입증한다.

영문 초록

Gödel and Łukasiewicz proposed the three-valued logic by adding the third logical situation, which includes uncertainty and ambiguity, to the classical two logical values, true or false. These logical systems were generalized to the many types of many valued logics, and especially, Gödel’s many valued logic was developed to Heyting algebra and Łukasiewicz’s one to lattice implication algebra. In this paper, we introduce the many valued logics of Gödel and Łukasiewicz, and Heyting’s algebra and lattice implication algebra that are generalizations of Gödel’s and Łukasiewicz’s logic, respectively. Also, we research the properties and relationship of Heyting algebras and lattice implication algebras, especially by defining another implication on a finite lattice implication algebra, we prove finite implication algebra is a special case of Heying algebras.

목차

1. 서론
2. 부분순서집합과 격자
3. 괴델의 다치논리와 일반화
4. 우카시에비치의 다치논리와 일반화
5. 격자함의 대수와 헤이팅 대수
6. 맺음말

키워드

해당간행물 수록 논문

참고문헌

교보eBook 첫 방문을 환영 합니다!

신규가입 혜택 지급이 완료 되었습니다.

바로 사용 가능한 교보e캐시 1,000원 (유효기간 7일)
지금 바로 교보eBook의 다양한 콘텐츠를 이용해 보세요!

교보e캐시 1,000원
TOP
인용하기
APA

연용호. (2023).괴델과 우카시에비치의 다치논리. 지식과 교양, (), 265-280

MLA

연용호. "괴델과 우카시에비치의 다치논리." 지식과 교양, (2023): 265-280

결제완료
e캐시 원 결제 계속 하시겠습니까?
교보 e캐시 간편 결제