지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- 한국지능시스템학회 INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS Vol.16 No.3
- 발행연도
- 2016.9
- 수록면
- 147 - 156 (10page)
이용수
초록· 키워드
오류제보하기
A modalized Łukasiewicz three-valued propositional logic will be proposed in this paper which there are three modalities [t]; [m]; [f] to represent the three values t; m; f; respectively. And a Gentzen-typed deduction system will be given so that the the system is sound and complete with respect to the Łukasiewicz three-valued semantics Ł<SUB>3</SUB>, which are given in soundness theorem and completeness theorem.
목차
Abstract
1. Introduction
2. The Modalized Łukasiewicz Three-Valued Propositional Logic
3. The Gentzen Deduction System
4. The completeness theorem
5. Conclusions
References
참고문헌 (17)
참고문헌 신청
[학술지(정기간행물)] - Arnon Avron / 1991 / Natural 3-valued logics—characterization and proof theory / The Journal of Symbolic Logic 56 (01) : 276 ~ 294
[학술지(정기간행물)] - Arnon Avron / 1993 / Gentzen-type systems, resolution and tableaux / Journal of Automated Reasoning 10 (2) : 265 ~ 281
[학술지(정기간행물)] - D.A. Bochvar / 2007 / On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus / History and Philosophy of Logic 2 (1-2) : 87 ~ 112
[학술지(정기간행물)] - M. Fitting / 1992 / Many-valued modal logics II / FundamentaInformaticae 17 (1-2) : 55 ~ 73
[단행본] - S. Gottwald / 2001 / A Treatise on Many-Valued Logics / ResearchStudies Press
[학술지(정기간행물)] - Arnon Avron / 1993 / Gentzen-type systems, resolution and tableaux / Journal of Automated Reasoning 10 (2) : 265 ~ 281
[학술지(정기간행물)] - D.A. Bochvar / 2007 / On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus / History and Philosophy of Logic 2 (1-2) : 87 ~ 112
[학술지(정기간행물)] - M. Fitting / 1992 / Many-valued modal logics II / FundamentaInformaticae 17 (1-2) : 55 ~ 73
[단행본] - S. Gottwald / 2001 / A Treatise on Many-Valued Logics / ResearchStudies Press
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
한국정보과학회 학술발표논문집
2024 .12
-
빅데이터에 대한 Completeness를 이용한 빈발 패턴 마이닝
한국게임학회 논문지
2018 .04
-
우주산업 재무건전성에 관한 연구
한국항공우주학회 학술발표회 초록집
2023 .11
-
정적분석의 안전성이 정확도에 미치는 영향
한국정보과학회 학술발표논문집
2015 .06
-
집합이론을 이용한 데이터 처리 시스템
대한전자공학회 학술대회
2015 .06
-
연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법
산업경영시스템학회지
2015 .01
-
소형에너지 저장용기 구조건전성 검토에 관한 연구
한국생산제조학회 학술발표대회 논문집
2022 .12
-
An Integration Test Scenario-Based Approach to Appraise the Completeness of ERP Systems
한국소프트웨어감정평가학회논문지
2022 .06
-
루미큐브 보드게임의 NP-completeness 증명
한국정보통신학회 종합학술대회 논문집
2024 .10
-
콘크리트전주의 건전도 및 안전성 향상을 위한 연구
대한전기학회 학술대회 논문집
2016 .07
-
소프트웨어 완성도 감정을 위한 요구사항 완전성 평가
한국소프트웨어감정평가학회논문지
2023 .03
-
Attitude Stabilization of eVTOL in Hovering Mode using Neural Network based Control with Lyapunov Theorem
한국항공우주학회 학술발표회 초록집
2022 .04
-
Logic 반도체 기술 동향
전자공학회지
2020 .07
-
Fuzzy Logic을 이용한 ROS의 음원위치 추적 방법
한국생산제조학회 학술발표대회 논문집
2019 .11
-
Fixpointed Mianorm-Based Logics
한국지능시스템학회 논문지
2020 .10
-
수동적 적외선 열화상 기법을 적용한 120W급 LED조명등 건전성 평가
한국기계가공학회지
2017 .08
-
오디오 딥러닝 기술 플랫폼 개발에 대한 연구
대한용접학회 특별강연 및 학술발표대회 개요집
2024 .10
-
Visual SLAM을 통해 획득한 공간 지도의 완성도 평가 시스템
멀티미디어학회논문지
2019 .04
-
Update of Model Probability for Release Rates of Radionuclides Using Bayes' Theorem
한국방사성폐기물학회 학술대회
2018 .01
-
Multi-Valued Logic Based on CMOS Technology
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2015 .06
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2017-003-001399208