• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.45-61
• /
• 2001

이 글에서 우리는 연관 명제계산과 무한다치 명제계산 사이의 관계를 살핀다. 구체적으로 우리는 연관 명제계산 $BN_{c1}$이 무한다치 명제계산 $L{\L}C^+$를 포함하는 확장 체계로 간주될 수 있다는 것을 보인다. 즉 $L{\L}C^+$에 직관주의 명제논리에 사용된 부정을 첨가한 후, $BN_{c1}$이 이 체계 $L{\L}C^+$로 변역될 수 있다는 것을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.624-626
• /
• 2003

본 논문에서는 가상환경을 구현할 때 환경에 논리적 객체를 등장시키는 것을 목적으로 하고 있다. 기존의 가상환경을 구현하는 시스템에서는 환경에 객체를 등장시킬 때 환경과 객체의 논리적 연관성을 고려하지 않고 있어, 가상환경의 사실성을 보장하지 못하고 있다. 본 논문에서는 논리적 객체 삽입을 위하여 가상환경에 필요한, 가상환경에서 요구하는 객체들을 환경과의 논리적 연관성을 고려하여 미리 모델링해 놓는 Nursery 모델을 제시한다. 이 Nursery는 Ontology를 기초로 하여 구축되어, 다양한 추상화 레벨에 따른 논리적 연관성을 보장하여 줄 수 있다. 이는 나아가 가상환경 자체의 사실성을 보장하여, 실제 환경에서 일어날 수 있는 다양한 이벤트들이 전개될 수 있게 한다.

• Korean Journal of Logic
• /
• v.19 no.2
• /
• pp.295-322
• /
• 2016

This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for fuzzy logics based on uninorms (so called uninorm-based logics). First, we recall algebraic semantics for uninorm-based logics. In the general framework of uninorm-based logics, we next introduce various types of general algebraic Kripke-style semantics, and connect them with algebraic semantics. Finally, we analogously consider particular algebraic Kripke-style semantics, and also connect them with algebraic semantics.

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.171-197
• /
• 2008

In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.

• Korean Journal of Logic
• /
• v.15 no.2
• /
• pp.207-222
• /
• 2012

This paper deals with Kripke-style semantics for FR, a fuzzy version of R of Relevance. For this, first, we introduce FR, define the corresponding algebraic structures FR-algebras, and give algebraic completeness results for it. We next introduce an algebraic Kripke-style semantics for FR, and connect it with algebraic semantics. We furthermore show that such semantics does not work for R.

• Electronics and Telecommunications Trends
• /
• v.11 no.3 s.41
• /
• pp.71-84
• /
• 1996

Girard에 의해서 1987년에 처음 소개된 선형 논리(linear logic)는 컴퓨터 사이언스에 큰 관심을 불러 일으키며 빠르게 발전하고 있다. 선형 논리는 상태 및 자원을 논리적 수준에서 다루고 있는 특징이 있다. 본 고에서는 선형 논리의 의미, 동기 및 특성을 소개하며, Gentzen의 시퀀트 계산법과 Prawitz의 자연 연역법 사이의 연관성 및 여러 증명 사이의 '같음'에 대한 개념을 컷제거 정리 측면에서 논의하고, 이러한 개념에 의하여 선형 논리의 증명이 증명망으로서 표현될 수 있음을 보인다.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.69-81
• /
• 2003

이 논문에서 우리는 (축약 원리가 없는) 연관 체계 EW은 이웃 체계들을 다룬다. 구체적으로 우리는 확장 원리를 포함하지만 축약 원리를 포함하지 않는 E (Ee-W) 체계, 특수 주장 specialized assertion(sa) 원리를 포함하지 않는 Ee-W (Ee-Wsa) 체계, 자기 배분 self-distribution(sd) 원리를 포함하지 않는 Ee-W (Ee-Wsd) 체계, 그리고 체인chain(c) 원리와 축약 원리를 포함하는 Ee 체계들의 확장 Eec-Wsa, Eec-Wsd, Eec-W, Eec를 다룬다. 우리는 루트리 마이어 의미론을 사용해서 이 체계들을 위한 완전성을 보인다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2014.08a
• /
• pp.95-98
• /
• 2014

본 연구는 지역명 범주에 속하는 용어들의 개념적 특성을 분석하고, 이를 토대로 다른 범주와의 관련도를 파악하여 지역명 범주 용어들을 중심으로 관계 속성들 사이의 논리적 연관성을 부여할 수 있는 모형 도출에 기반이 되는 기초 연구이다. 지역명 범주 용어 중 국가명에 한정하여 분석한 결과, 국가명 개념 속성 중심으로는 계층 구조 관계의 지역명 범주 용어들끼리 연관이 높으며, 전체 범주 용어들의 개념 속성 중심으로는 지역명 범주 용어가 지리적 위치로서의 의미로 주로 쓰이나, 행위의 주체 또는 객체의 의미나 시대의 개념으로도 많이 활용됨을 알 수 있었다. 국가명이 참조되는 개념 속성과 연관되어 활용되는 관계 속성의 경우의 일부는 참조하는 주요 개념 범주와 연관 관계를 토대로 논리적 의미 관계를 생각해볼 수 있는 것으로 나타났다.

• The Journal of Information Technology and Database
• /
• v.3 no.1
• /
• pp.85-95
• /
• 1996

본 논문은 특정문서에서 문서가 갖고 있는 일반적인 지식을 이용하여 논리적 항목을 추출하는 방법에 관한 연구이다. 먼저 입력된 문서의 영역 분할, 분리자 추출, 그리고 문자와 비문자를 구별하였다. 논리구조 추출단계에서는 구별된 요소의 상대적 크기, 위치 및 전후 블록들의 연관성에 관한 지식을 이용하여 각 블록들을 레이블링 하였고, 레이블된 항목들의 위치정보값을 이용하여 각 항목들을 자료화하였다. 마지막으로, 오분류된 항목에 대해서는 배치기술자를 이용한 검증을 통해 정정하였다. 본 논문에서 구현한 방법으로 실험한 결과 96.5%의 논리항목 추출율을 획득함으로써 그 유효성을 입증하였다.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.181-196
• /
• 2014

This paper deals with Kripke-style semantics for fuzzy logics. More exactly, I introduce algebraic Kripke-style semantics for some weakening-free extensions of the uninorm based fuzzy logic UL. For this, first, I introduce several weakening-free extensions of UL, define their corresponding algebraic structures, and give algebraic completeness. Next, I introduce several algebraic Kripke-style semantics for those systems, and connect these semantics with algebraic semantics.