최근 고정점을 갖는 미아놈 논리가 연구되었다. 이 논문은 그러한 논리를 누승적인 논리로 확장한다. 이를 위하여 먼저 고정점을 갖는 누승적 미아놈 논리와 그러한 논리의 대수적 의미론을...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A107306513
2021
-
involution ; substructural logic ; fuzzy logic ; fixpoint ; mianorm ; 누승 ; 준구조 논리 ; 퍼지 논리 ; 고정점 ; 미아놈
KCI등재
학술저널
31-53(23쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
최근 고정점을 갖는 미아놈 논리가 연구되었다. 이 논문은 그러한 논리를 누승적인 논리로 확장한다. 이를 위하여 먼저 고정점을 갖는 누승적 미아놈 논리와 그러한 논리의 대수적 의미론을...
최근 고정점을 갖는 미아놈 논리가 연구되었다. 이 논문은 그러한 논리를 누승적인 논리로 확장한다. 이를 위하여 먼저 고정점을 갖는 누승적 미아놈 논리와 그러한 논리의 대수적 의미론을 소개한다. 다음으로 고정점을 갖는 누승적 미아놈의 몇몇 예를 소개한다. 마지막으로 누승적 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 보인다.
다국어 초록 (Multilingual Abstract)
Yang recently investigated standard completeness for fixpointed mianorm-based logics. This paper extends these logics to involutive ones. More exactly, first involutive fixpointed mianorm-based logics and their algebraic semantics are introduced. Next...
Yang recently investigated standard completeness for fixpointed mianorm-based logics. This paper extends these logics to involutive ones. More exactly, first involutive fixpointed mianorm-based logics and their algebraic semantics are introduced. Next, some examples of involutive fixpointed mianorms are considered. Finally, standard completeness for the systems are provided.
테넌트의 자기지시적 역설에 관한 가설과 그에 대한 고전적 반례