• Korean Journal of Logic
• /
• v.18 no.2
• /
• pp.197-215
• /
• 2015

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, four involutive micanorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for two of them using construction in the style of Jenei-Montagna.

• Korean Journal of Logic
• /
• v.13 no.1
• /
• pp.1-20
• /
• 2010

This paper investigates a new proof of standard completeness (i.e. completeness on the real unit interval [0, 1]) for the uninorm (based) logic UL introduced by Metcalfe and Montagna in [15]. More exactly, standard completeness is established for UL by using nuclear completions method introduced in [8, 9].

• 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.

• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.67-89
• /
• 2008

반 멕기는 전건긍정규칙의 반례라고 하는 것을 제시하였다. 지금까지 그것이 과연 진정한 반례인지를 두고 많은 논의가 있었다. 이 논문에서 나의 목적은 조금 다르다. 나는 여기서 반 멕기의 반례가 생겨나는 구조를 밝히고자 한다. 우선 나는 내 자신이 구성한 반례를 하나 제시할 것이다. 그런 다음 반례가 생겨나는 기본 구조를 찾아내고, 이런 분석이 다른 반례에도 그대로 적용된다는 점을 보임으로써 나의 제안이 옳은 분석이라는 점을 확증하기로 한다. 이를 통해 최종적으로 우리는 반례가 만들어지는 메커니즘을 분명히 할 수 있을 것이다. 나는 석기에는 조건문에 대한 특정한 이해가 들어 있다는 점을 보일 것이다. 반례가 생겨나는 구조를 파악하고 나면 반례의 해결책을 마련하는 일은 그다지 어렵지 않다. 끝에서 나는 그런 해결책을 간단히 언급하고자 한다.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.550-553
• /
• 1998

본 논문에서는 노드들간의 입출력 관계가 트리형태로 주어진 경우에 이 관계를 수식으로 해석하여 최소화시키고 이를 회로로 구현하는 새로운 알고리즘을 제안한다. nakagima 등에 의해 제안된 알고리듬은 트리의 특성을 갖는 노드들의 관계를 2치논리에 근거하여 회로로 구현하였으나, 이러한 기법은 일반적인 형태로 주어진 트리구조에 대한 해석이 충분치 못하므로, 일반화된 회로의 구성에 많은 제약을 가지고 있다. 이러한 문제점에 대하여 본 논문에서는 트리구조를 갖는 노즈들의 전체적인 입출력관계를 수식으로 정리하여 최소화된 회로설계 알고리즘을 제안하고 예를 들어 이를 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.256-258
• /
• 2001

최근 컴퓨터 응용 기술의 발달로 비디오 데이터에 대한 처리의 필요성이 증가하고 있다. 비 정형화된 비디오에 대한 검색을 효율적으로 처리하기 위해서는 비디오의 논리적 구조와 의미적 내용을 표현할 수 있는 비디오 모델링 기법이 필요하다. 본 논문에서는 비디오의 논리적 구조는 물론 비디오 내에 포함된 의미적인 내용을 표현하기 위한 비디오 모델링 방법을 제안한다. 제안하는 모델링 기법은 의미적 내용을 효과적으로 표현하지 못하는 기존의 구조 모델링의 문제점을 해결하고 의미적인 내용들간의 시공간적 관계를 정의한다. 또한 시공간적 관계를 통한 의미적 내용에 대한 검색을 효과적으로 수행할 수 있도록 한다.

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

이기종 시스템들간의 멀티미디어 문서 교환을 목적으로 제정된 국제 표준인 SGML(Standard Generalized Markup Language)이다[2]. 이 SGML 문서를 만들기 위해서는 DTD(Document Type Definition)의 생성이 이루어져야 하며, 이 DTD는 문서의 논리구조에 따라 각각 다르게 생성되기 때문에 여러 개의 데이터베이스(Database)를 구축하게 된다. 그러므로 구축하는데 비용이 증가되며 검색하는데 비효율적이다. 따라서 본 논문에서는 유사한 논리구조를 가지는 문서에 대하여 그들 각각의 DTD를 하나로 통합할 수 있는 통합 DTD 작성 알고리즘을 제안한다. 이러한 알고리즘에 따라 적용하게 되면 하나의 논리 구조를 가지는 SGML 문서의 데이터베이스만을 구축하므로 효과적인 검색 환경을 제공할 수 잇다. 이를 위해 본 논문에서는 국내 학회의 논문지에 게재된 논문을 대상으로 적용하여 통합 DTD를 생성하였고 이의 따른 효용성을 입증하였다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.1 s.343
• /
• pp.13-16
• /
• 2006

We have proposed and experimentally demonstrated the all-optical composite logic gates with XOR, NOR, OR and NAND functions using SOA-MZI structures to make it possible to simultaneously perform various logical functions. The proposed scheme is robust and feasible for high speed all-optical logic operation with high ER.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.11a
• /
• pp.103-106
• /
• 2000

본 논문에서는 문서 영상으로부터 전자 문서를 자동 생성하기 위한 논리적인 구조 분석을 효율적으로 지원하기 위하여 문서 모델의 자동 생성과 점증적인 학습 기법을 제안한다. 이를 위하여 문서 유형의 논리적인 구조 정보와 기하적인 특성을 효과적으로 기술할 수 있는 문서 모델을 정의한다. 특히 제안된 방법은 문서 모델의 생성 결과로부터 SGML DTD와 DSSSL 스타일 시트를 생성하기 때문에 문서의 재 사용성과 호환성을 지원한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.647-649
• /
• 2000

개념-논리 스키나 설계의 목적은 개념 스키마를 사용 가능한 데이터의 구조화와 제약사항 모델화를 위한 기능들을 가능한 후 효과적으로 표현하는 것이다. 스키마 변환은 이러한 표현을 구현 언어나 데이터베이스와는 독립적인 차원에서 고려할 수 있도록 해준다. 개념-논리 스키마로의 변환에 프리미티브 변환을 적용함으로써 얻을 수 있는 이점은 개념 스키마에 나타난 정보를 손실 없이 구현 모델에 반영할 수 있게 한다는 것이다. 본 논문에서는 다단계 보안 응용을 위한 일반화 계층구조의 스키마 변환에서 발생할 수 있는 프리미티브 변환을 논의한다. 이러한 변환은 다단계 보안 응용의 개념 논리와 설계 단계에 대한 질적 향상을 기할 수 있는 기본적인 도구의 토대가 될 수 있으며 또한 이를 적용함으로써 설계 과정을 변환의 작은 단위로 생각할 수 있게 해 줌으로서 설계 과정을 단순화할 수 있다.