최근 고정점을 갖는 미카놈 논리가 연구되었다. 이 논문은 그러한 논리를 누승적인 논리로 확장한다. 이를 위하여 먼저 고정점을 갖는 누승적 미카놈 논리와 그러한 논리의 대수적 의미론을...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A108201837
2022
-
Involution ; Fuzzy Logic ; Substructural Logic ; Fixed-point ; Micanorm ; 누승 ; 준구조 논리 ; 퍼지 논리 ; 고정점 ; 미카놈
100
KCI등재
학술저널
121-137(17쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
최근 고정점을 갖는 미카놈 논리가 연구되었다. 이 논문은 그러한 논리를 누승적인 논리로 확장한다. 이를 위하여 먼저 고정점을 갖는 누승적 미카놈 논리와 그러한 논리의 대수적 의미론을...
최근 고정점을 갖는 미카놈 논리가 연구되었다. 이 논문은 그러한 논리를 누승적인 논리로 확장한다. 이를 위하여 먼저 고정점을 갖는 누승적 미카놈 논리와 그러한 논리의 대수적 의미론을 소개한다. 다음으로 고정점을 갖는 누승적 미카놈의 몇몇 예를 소개한다. 마지막으로 누승적 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 보인다.
다국어 초록 (Multilingual Abstract)
This paper considers standard completeness for fixed-pointed involutive micanorm-based logics. For this, we first discuss fixed-pointed involutive micanorm-based logics together with their algebraic semantics. Next, after introducing some examples of ...
This paper considers standard completeness for fixed-pointed involutive micanorm-based logics. For this, we first discuss fixed-pointed involutive micanorm-based logics together with their algebraic semantics. Next, after introducing some examples of fixed-pointed involutive micanorms, we provide standard completeness results for those logics.