http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 주제어 : 누승 (검색결과 8 건)
- 무료
- 기관 내 무료
- 유료
-
Some axiomatic extensions of the involutive mianorm Logic IMIAL
양은석,Yang, Eunsuk Korean Association for Logic 2017 論理硏究 Vol.20 No.3
이 글에서 우리는 누승적 미아놈 논리 IMIAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미아놈에 바탕을 둔 일곱 개의 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 네 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다. In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna.
-
Involutive Micanorm Logics with the n-potency axiom
양은석 한국논리학회 2017 論理硏究 Vol.20 No.2
In this paper, we deal with some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, the two involutive micanorm-based logics PnIMICAL and FPnIMICAL are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for FPnIMICAL using construction in the style of Jenei-Montagna.
-
양은석 ( Eunsuk Yang ) 한국논리학회 2021 論理硏究 Vol.24 No.1
최근 고정점을 갖는 미아놈 논리가 연구되었다. 이 논문은 그러한 논리를 누승적인 논리로 확장한다. 이를 위하여 먼저 고정점을 갖는 누승적 미아놈 논리와 그러한 논리의 대수적 의미론을 소개한다. 다음으로 고정점을 갖는 누승적 미아놈의 몇몇 예를 소개한다. 마지막으로 누승적 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 보인다. 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.
-
양은석 ( Eunsuk Yang ) 한국논리학회 2022 論理硏究 Vol.25 No.2
최근 고정점을 갖는 미카놈 논리가 연구되었다. 이 논문은 그러한 논리를 누승적인 논리로 확장한다. 이를 위하여 먼저 고정점을 갖는 누승적 미카놈 논리와 그러한 논리의 대수적 의미론을 소개한다. 다음으로 고정점을 갖는 누승적 미카놈의 몇몇 예를 소개한다. 마지막으로 누승적 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 보인다. 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.
-
Two axiomatic extensions of the involutive mianorm Logic IMIAL: IDIMIAL, FIDMIAL
Eunsuk Yang(양은석) 서울대학교 철학사상연구소 2018 철학사상 Vol.67 No.-
이 글에서 우리는 누승적 미아놈 논리 IMIAL의 두 공리적 확장 체계를 다룬다. 이를 위하여, 먼저 누승적 미아놈에 바탕을 둔 두 논리 체계 IDIMIAL, FIDIMIAL를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, FIDIMIAL 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다. In this paper, we deal with some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, the two involutive mianorm-based logics IDIMIAL and FIDIMIAL are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for FIDIMIAL using construction in the style of Jenei-Montagna.
-
Some axiomatic extensions of the involutive mianorm Logic IMIAL
EunsukYang ( 양 은 석 ) 한국논리학회 2017 論理硏究 Vol.20 No.3
In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna. 이 글에서 우리는 누승적 미아놈 논리 IMIAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미아놈에 바탕을 둔 일곱 개의 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 네 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.
-
양은석 ( Eunsuk Yang ) 한국논리학회 2017 論理硏究 Vol.20 No.2
이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계를 다룬다. 보다 구체적으로, 먼저 누승적 미아놈에 바탕을 두 논리 체계 P<sub>n</sub>IMIAL, FP<sub>n</sub>IMIAL을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 FP<sub>n</sub>IMIAL가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다. In this paper, we deal with some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, the two involutive micanorm-based logics P<sub>n</sub>IMICAL and FP<sub>n</sub>IMICAL are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for FP<sub>n</sub>IMICAL using construction in the style of Jenei-Montagna.
-
이상운(Sang-Un Lee) 한국컴퓨터정보학회 2013 韓國컴퓨터情報學會論文誌 Vol.18 No.8
최단 보폭-최장 보폭 알고리즘은 n을 m={?√ n?개의 원소를 가진 m개의 블록으로 분할하고 첫 번째 블록의 m개에 대해 a<sup>*</sup> A baby-step giant-step algorithm divides n by n blocks that possess m={?√ n? elements, and subsequently computes and stores a<sup>*</sup>
ScienceON
KISS연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
