• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.155-174
• /
• 2018

This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.404-406
• /
• 1998

확정절 문법은 구 구조문법을 명시하는데 사용된 후 계산이론적 언어학자들이 많은 연구를 하는 분야이다. 확정절 문법은 혼절에 근거하고 있기 때문에 관계절 공간연결 파서를 구성할 때 메우개-공간 의존을 자연스럽게 설명할 수 없다. 본 논문에서는 메우개-공간 의존을 처리할 수 있는 일반 구 구조문법 GPSG의 특성에 대해서 논하고 일반 구 구조 문법을 논리 문법으로 확장할 수 있는 방법에 대해서 기술하였다. [7]에서는 메우개-공간 의존을 설명하기 위해서 직관적 논리를 이용하였다. 여기에서는[7]의 직관적 논리 문법의 한계에 대해서 논하였다. 또 [5]에서는 일차 선형 논리를 이용하였는데, 이는 공간연결 파서로 자연어 문장을 논리식으로 번역하는데 사용될 수 없다. 따라서 본 연구에서는 고차 선형 논리문법을 이용하여 자연어 파서를 구성하였다.

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.81-117
• /
• 2001

이 글은 수학적 플라톤주의를 포기하더라도 프레게에게 열려 있었던 것으로 보이는 논리 주의 프로그램의 한 가능성, 즉 수를 고차 개념으로 이해하는 논리주의 프로그램을 그가 왜 선택하지 않았는가 하는 물음에 대답하는 데 목적이 있다. 이를 위해 나는 수를 고차 개념으로 이해할 때 산수의 기초 개념들을 만족스럽게 정의할 수 있는지, 그런 정의들로부터 프레게의 기수 이론의 공리들을 고단계 논리학 내에서 모두 증명할 수 있는지를 차례대로 검토한다. 다음으로 나는 그 검토 결과에 근거할 때 대상들이 무한히 많이 있다는 가정에 의존하지 않는 한 서로 다른 유한 기수들이 무한히 많이 있다는 것을 보증할 수 없다는 점을 논증할 것이고, 바로 그 점이 프레게가 비플라톤주의적 논리 주의를 받아들일 수 없었던 주요 이유였음을 논증할 것이다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.2 no.1
• /
• pp.89-101
• /
• 1997

본 논문에서는 기존의 비디오 편집 시스템에서의 단점을 보완하여 논리적인 비디오 편집을 위한 방법을 제안하였다. 또한 본 논문에서는 비디오를 체계적으로 관리하고 비디오 편집등의 비디오 응용 분야에 효과적으로 적용할 수 있도록 기존의 비디오를 구조화된 형태의 논리적 비디로로 재구성한 구조화된 논리적 비디오를 제안하였다. 제안한 구조화된 비디오는 비디오의 물리적 정보뿐만 아니라 비디오의 논리적 정보를 포함하며 이러한 정보를 이용하여 기존의 비디오가 제공하지 못하는 비디오의 논리적 단위 편집등의 다양한 기능을 제공할 수있고, 비디오 브라우징, 검색, 비디오 편집등의 여러 비디오 응용 분야에 효과적으로 적용할 수 있으므로 비디오 재사용성을 높일 수 있다. 본 논문에서는 기존의 비디오를 구조화된 논리적 비디오로 재구성하여 관리하는 비디오 데이터베이스 관리 시스템과 이를 이용한 논리적 단위의 비디오 편집 시스템을 설계 및 구현하였다.

• Korean Journal of Logic
• /
• v.22 no.3
• /
• pp.397-415
• /
• 2019

This paper deals with the pretabular property of some fuzzy logics. For this, we first introduce the involutive idempotent uninorm logics IdIUL and IUML and examine the relationship between IdIUL and the another well-known system $RM^T$. Next, we show that IUML is pretabular, whereas IdIUL is not.

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.25-42
• /
• 2019

This paper deals with Kripke-style semantics, which will be called set-theoretic Kripke-style semantics, for weakly associative substructural fuzzy logics. We first recall three weakly associative substructural fuzzy logic systems and then introduce their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2009.05a
• /
• pp.101-106
• /
• 2009

수학적 사고의 입장에서 중등학생들이 수학적 문제해결에 논리적 사고와 직관적 사고가 어떻게 작용하는지를 연구하는 것은 수학교육에서 중요하고도 흥미로운 과제의 하나이다. 본 연구의 주된 목적은 중등학교 영재학생을 대상으로 이러한 문제를 조사하는 것이다. 특히 이들 중등영재학생들의 논리적 사고와 직관적 사고에 대한 선호도와 논리적 문제의 문제해결능력 사이의 관계를 조사한다.

• Korean Journal of Logic
• /
• v.3
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• The Science & Technology
• /
• v.33 no.7 s.374
• /
• pp.41-74
• /
• 2000

우리나라에서 정치논리 만큼 큰 힘을 발휘하는 것은 없다. 우리의 경제가 정치논리의 지배 아래 있어 발전에 어려움이 있다는 소리는 오래 전부터 있어왔다. 과학기술은 정치논리의 지배 아래 있는 경제의 논리에 좌우되고 있는 것이 오늘의 현실이다. 과학기술과 정치는 어떤 관계를 갖고 있으며 또 어떤 관계를 유지해야 바람직한 것인지 정리해 보았다.

• Korean Journal of Logic
• /
• v.12 no.1
• /
• pp.1-24
• /
• 2009

이 논문에서 우리는 집합의 두 점 사이의 관계를 소개하고, '가깝다'와 '충분히 가깝다'의 위상적인 개념을 다양하게 정의할 수 있음을 보인다. 또한 직관주의 논리와 관계가 있는 De Morgan frame을 소개하고 pre-order에 의하여 정의된 동치관계로 만들어진 동치류들의 집합을 기저로 생성된 위상 공간이 extremally disconnected 임을 보인다.