좌, 우 n-멱등 공리를 갖는 미아놈 논리

양은석 ( Eunsuk Yang ) 한국논리학회 2020 論理硏究 Vol.23 No.1

이 글에서 우리는 좌, 우 n-멱등 공리를 갖는 미아놈에 기반한 논리를 다룬다. 이를 위하여 먼저 미아놈에 바탕을 둔 좌, 우 n-멱등 공리를 갖는 논리 체계 P^r_nMIAL, P^l_nMIAL을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 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.

IIIa 회장 폐쇄증 환자에서 원위부 회장루를 통한 근위부 공장루 분비물의 지속적 점적 영양 관리 1례

양은석,최윤창,김은영,문경래,장정환,Yang, Eun Seok,Choi, Yun Chang,Kim, Eun Young,Moon, Kyung Rye,Chang, Jeong Hwan 대한소아소화기영양학회 2004 Pediatric gastroenterology, hepatology & nutrition Vol.7 No.2

IIIa형 회장 폐쇄증 환자에서 수술 후 경구 수유와 원위부 회장루를 통한 지속적인 위장관 영양의 병행으로, 하부 위장관 성장을 도모하고 총 정맥 영양의 합병증 등을 감소하였으며 정상적으로 체중이 증가한 1례를 경험하여 보고하는 바이다. Short-bowel syndrome is functionally defined as a state of malabsorption following loss of small bowel, which comprises the sequelae of nutrient, fluid, and weight loss. The proximal segment of the bowel of a patient with intestinal atresia is usually grossly distended and atonic. In contrast, distal segment is smaller. For this reason, anastomosis of the proximal and the distal segment is technically difficult and may cause no propulsion even when they are anastomosed. We experienced that continuous drip ileostomy feeding with the secretions from the proximal stoma stimulated the distal bowel to accommodate and resolved many sequelae following loss of small bowel in a patient with short-bowel syndrome due to IIIa ileal atresia.

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.

한림학사의 학구적인 열기

양은석,Yang, Eun-Seok 한국대학교육협의회 1990 大學敎育 Vol.47 No.-

지속적인 쌀죽 섭취에 의한 각기병 1례

양은석,윤영훈,노영일,문경래,Yang, Eun Seok,Yoon, Young Hun,Rho, Young Il,Moon, Kyung Rye 대한소아소화기영양학회 2004 Pediatric gastroenterology, hepatology & nutrition Vol.7 No.2

저자들은 1년 6개월간 지속적인 쌀죽의 섭취이후에 발등부터 시작하여, 전신적인 부종과 무관심, 걷지 못하는 증상을 주소로 입원한 환아가 티아민 투여 이후에 증상의 회복을 보인 beriberi 1례를 치험 하였기에 보고하는 바이다. Beriberi, which is caused by thiamin deficiency, is a rare disease in recent years. But it has been described in the Eastern literature as far back as the 17th century. Early symptoms are fatigue, apathy, irritability, drowsiness, anorexia, nausea, vomiting and abdominal pain. Signs and symptoms of progression are peripheral neuritis, paresthesia, decreased tendon reflex and congestive heart failure. Thiamin deficiency remains as an important health care issue in many world population, specially in AIDS, pregnancy women and TPN associated patients. The best diagnostic test is assessing clinical response to administration of thiamin. We have experienced a case of Beriberi caused by continuous rice-soup feeding during one and half years in a 7-year-old boy.

논란 없는 원리를 재고함

양은석,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.

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.

소아 충수돌기염 진단에서 Alvarado Scoring System의 유용성

양은석,윤성관,김은영,노영일,박상기,박영봉,문경래,Yang, Eun Seok,Yoon, Sung Kwan,Kim, Eun Young,Rho, Young Il,Park, Sang Kee,Park, Yeong Bong,Mun, Gyeong-Rae 대한소아소화기영양학회 2004 Pediatric gastroenterology, hepatology & nutrition Vol.7 No.1

목 적: Alvarado score는 성인에서 급성 충수돌기염 환자의 조기 진단에 용이하고 오진율을 줄이는 유용한 진단법으로 알려져 있다. 저자들은 급성 복통이 주소인 소아 환아에서 급성충수돌기염 진단에 alvarado score의 유용성에 대하여 알아보고 진단의 정확성에 대하여 평가하고자 연구를 하였다. 방 법: 2002년 6월부터 2003년 5월까지 조선대학교 부속 병원 응급실을 방문한 복통을 호소하는 소아 170명 중 충수돌기염의 강하게 의심되는 122명을 대상으로 전향적으로 조사하였다. 복통을 주소로 방문한 환아의 나이, 임상증상, 임상징후, 혈액학적 검사결과를 분석하여 Alvarado score를 산출하고 진단을 위해 복부초음파 검사나 전산화 단층 촬영을 시행하고 수술을 시행한 경우 조직학적 진단을 하여 확진하였으며 수술하지 않은 군은 12시간의 추적 관찰로 확진하였다. 방사선학적 진단과 수술 결과 등을 비교하여 확진군과 오진군의 Alvarado score를 비교 분석하였다. 결 과: 응급실에 복통이 주소인 환아 중 충수돌기염이 강하게 의심되었던 환아는 122명이었다. 122명의 환아 중 남아는 67명(54.9%), 여아는 55명(45.1%)이었다. 조직검사를 통해 충수돌기염으로 진단 받은 환자는 수술한 105명 중 92명으로 87.6%에 해당하였고 충수돌기염으로 수술한 환자들의 오진율은 12.4%였다. 평균 Alvarado score는 충수돌기염 군은 $5.40{\pm}1.24$, 충수돌기염이 아닌 군은 $3.73{\pm}1.82$이었다(p<0.05). Alvarado score 6점 이상인 경우 소아 충수돌기염을 진단하는데 민감도가 86.4%, 특이도는 80.0%였다. 소아 충수돌기염을 진단하는데 복부 초음파검사나 전산화단층촬영의 진단의 민감도는 92.5%였다. 결 론: 복부초음파검사나 전산화 단층 촬영 등과 함께 Alvarado score는 소아 충수돌기염의 진단에 유용하게 이용될 수 있을 것으로 생각된다. Purpose: Alvarado scoring system was evaluated regarding its usefulness for the early diagnosis of acute appendicitis in adult and in reduction of the incidence of negative appendicectomies. To evaluate the accuracy of diagnosing appendicitis using the Alvarado score in children. Methods: Prospectively, we surveyed 122 patients (male 67, female 55) suffering from abdominal pain, who had visited to the emergency department of Chosun University Hospital from June 2002 to May 2003. The Alvarado score has been computed from the white blood cell count, neutrophil count, body temperature, resistance in the right lower quadrant, length of symptoms, nausea and vomiting. Each patient was evaluated by a pediatric resident and then by a general surgeon independently. Results: Out of 170 total children who visited to the emergency department due to abdominal pain, 122 patients were associated with appendicitis. A total of 122 patients (67 male and 55 female) were visited to the emergency room with suspected appendicitis. From 105 operated patients, 92 (87.6%) were diagnosed acute appendicitis and erronous diagnostic rate was 12.4%, pathologically. Mean alvarado score of appendicitis group was $5.40{\pm}1.24$ whereas those of non-appendicitis group was $3.73{\pm}1.82$ (p<0.05). From 6 Alvarado score high sensitivity (86.4%) and high specificity (80.0%) were observed. Sensitivity of ultrasonography or computed tomography was 92.5%. Conclusion: We found that Alvarado score system is a noninvasive, safe diagnostic method, which is simple, reliable and repeatable. Alvarado score is useful system for a first, rapid and economic evaluation for the appendicitis in children.

고정점을 갖는 미카놈 논리

양은석 ( 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.

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.