http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 양은석 ( Eunsuk Yang ) (검색결과 30 건)
- 무료
- 기관 내 무료
- 유료
-
Fixpointed Mianorm-Based Logics
Eunsuk Yang(양은석) 한국지능시스템학회 2020 한국지능시스템학회논문지 Vol.30 No.5
미아놈에 기초한 준구조 퍼지 논리의 표준 완전성에 대한 연구가 최근 다루어져 왔다. 이 논문에서는 이러한 연구의 고정점을 갖는 확장에 대해 연구한다. 이를 위하여 먼저 고정점을 갖는 미아놈에 기초한 퍼지 논리 체계들과 그것들의 대수적 의미론을 소개한다. 다음으로 이러한 논리 체계들이 단위 실수 위에서 완전하다는 즉 표준적으로 완전하다는 것을 보인다. Recently, standard completeness for mianorm-based substructural fuzzy logics has been investigated. Here, we investigate such logics with a fixpoint. For this, we first discuss fuzzy logic systems with fixpointed mianorms and their corresponding algebraic semantics. Next, we provide standard completeness for the systems via Yang’s model-theoretic construction.
-
양은석 ( Eunsuk Yang ) 한국논리학회 2020 論理硏究 Vol.23 No.1
This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.
-
Involutive Weak u-associative Fuzzy Logic WAuIBUL
Yang, Eunsuk(양은석) 서울대학교 철학사상연구소 2024 철학사상 Vol.- No.92
약한 형식의 결합 원리를 만족하는 누승적인 미카놈에 기반한 논리 체계를 소개하고 그 체계의 유한 표준 완전성을 다룬다. 보다 구체적으로 논리 체계 WAuIBUL을 누승적 유니놈 논리 IUML의 [0, u]-연속인 wau-유니놈 일반화로 먼저 소개한다. 그리고 이 체계의 대수적 완전성을 다룬다. 다음으로 결합 원리 대신에 약한 u-결합 원리를 만족하는 누승적 유니놈으로 누승적 wau-유니놈을 소개하고 그 성질을 다룬다. 마지막으로 유한 집합 위에서 WAuIBUL의 표준 완전성을 보인다. An involutive micanorm-based logic with a weak form of associativity is introduced and its finite standard completeness is addressed. More precisely, we first introduce the logic WAuIBUL as a [0, u]-continuous wau-uninorm analogue of the involutive logic IBUL. We next discuss its algebraic semantics. We then introduce involutive wau-uninorms as involutive uninorms with weak u-associativity in place of associativity and deal with related properties. We last provide finite strong standard completeness for WAuIBUL using a construction of Yang-style.
-
양은석 ( Eunsuk Yang ) 한국논리학회 2021 論理硏究 Vol.24 No.3
Standard completeness for fixed-pointed mianorm-based logics were recently introduced by Yang. Here, we extend it to logics with commutativity, i.e., fixed-pointed micanorm-based logics. More precisely, some fixed-pointed micanorm-based logics and their algebraic semantics are first discussed. Next, several examples of fixed-pointed micanorms are introduced. Standard completeness results are finally provided for those logics.
-
양은석,Yang, Eunsuk 한국논리학회 2012 論理硏究 Vol.15 No.3
최근 이병덕 교수의 논란 없는 원리(Uncontested Principle)의 거부를 둘러싼 논의가 송하석, 최원배 등을 중심으로 이루어졌다. 필자는 이들 논의가 충분하지 않다고 생각한다. 그 이유는 이들이 논란 없는 원리가 연역에 관한 한 정당하다고 생각하지만 이들의 논증만으로는 그렇게 판단하기 어려운 점이 있기 때문이다. 필자는 이 점을 먼저 이 글에서 밝히고 그 한계를 지적한다. 다음으로 대안 논리(alternative logic)의 관점에서 볼 때 논란 없는 원리는 그 자체로 정당화되기 어렵고 연역적으로 정당화되기 위해서는 실제로 여러 가지 제약조건이 필요함을 보인다. 즉 특정 조건이나 제약 하에서만 연역적으로 정당화될 수 있음을 보인다. After Byeongdeok Lee(2008) argued against the so-called uncontested principle (UP), Song(2008) and Choi(2011) gave arguments against Lee(2008) and instead for UP. One important point to mention in their arguments is that they all accept that UP is justifiable in deduction. First, I show that there are some problems in their arguments. Next, I show that UP itself is not justifiable in deduction; it is only justifiable under some (restrictive) conditions.
-
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.
-
R, Fuzzy R, and Set-Theoretic Kripke-Style Semantics
양은석,Yang, Eunsuk Korean Association for Logic 2019 論理硏究 Vol.22 No.2
이 글에서 우리는 연관 논리 R을 퍼지화한 체계 FR을 위한 집합 이론적인 크립키형 의미론을 다룬다. 이를 위하여 먼저 FR 체계와 그에 상응하는 크립키형 의미론을 소개한다. 다음으로 FR을 위한 집합 이론적 완전성 결과를 제공한다. This paper deals with set-theoretic Kripke-style semantics for FR, a fuzzy version of R of Relevance. For this, first, we introduce the system FR and its corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for it.
-
Set-theoretic Routley-Meyer-style semantics for the substructural fuzzy logic MTL
Yang, Eunsuk(양은석) 서울대학교 철학사상연구소 2019 철학사상 Vol.71 No.-
이 논문에서 우리는 준구조 퍼지 논리 MTL 을 위한 집합 이론적 루트리-마이어형 의미론을 연구한다. 이를 위하여 먼저 모노이드 T-규범 논리 MTL 체계와 이에 상응하는 루트리-마이어형 의미론을 소개한다. 다음으로 이 체계가 집합 이론적으로 건전하고 완전하다는 것을 보인다. This paper deals with Routley-Meyer-style semantics, which will be called set-theoretic Routley-Meyer-style semantics, for the substructural fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and then introduce its corresponding Routley-Meyer-style semantics. Next, we provide set-theoretic soundness and completeness results for it.
-
양은석 ( Eunsuk Yang ) 한국논리학회 2019 論理硏究 Vol.22 No.2
This paper deals with set-theoretic Kripke-style semantics for FR, a fuzzy version of R of Relevance. For this, first, we introduce the system FR and its corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for it.
-
양은석 ( Eunsuk Yang ) 한국논리학회 2021 論理硏究 Vol.24 No.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.
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
