• 논리연구
• /
• 제9권2호
• /
• pp.1-30
• /
• 2006

This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension $wB-LC\forall$ and $wB-sKD\forall$. We give algebraic completeness for each of them.

• 한국언어정보학회지:언어와정보
• /
• 제13권2호
• /
• pp.47-57
• /
• 2009

It has been observed that not all negative polarity items (NPIs) are licensed in the same negative contexts, and different NPIs may be licensed by different negative expressions. This shows that Ladusaw's (1979) downward entailment is not precise enough to account for the distributional patterns of NPIs (van der Wouden, 1997; van der Wouden and Zwarts, 1993; Zwarts, 1986, among others). One well-known attempt to deal with this issue is to divide negative expressions into several subtypes. Using boolean semantics, Zwarts (1986; 1998) distinguishes three kinds of downward entailing licensors and accounts for heterogeneous NPI-licensing conditions by means of the semantic strength of negative expressions. This approach has been adopted to define Korean negation (Nam, 1994; Chung, 1993; Chung, 1997; Hwang, 2009). In this paper, however, we argue that the boolean semantic approach for negation is not adequate in characterizing the properties of Korean negative expressions and explaining the contexts of licensing Korean NPIs.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1160-1169
• /
• 1996

본 연구에서는 색인어 퍼지 관계행렬을 이용한 정보검색 방법을 제안하고 간단한 문헌정보 검색시스템을 사용하여 실험을 수행하고 그 결과를 분석하였다. 불리안 연산 자인 AND, OR, NOT으로 색인어들을 조합한 질의식을 통해 실험을 수행한 결과 일반 집합이론에 의한 검색실험에서보다 상당히 우수한 성능을 보였다. 특히 재현율과 정확 률을 측정한 성능평가 결과는 퍼지 문헌검색 시스템이 가능한 검색 대안이라는 사실을 확인 하였다고 할 수 있다. 한편, 검색의 기법 측면에서 고려하였을 때 본 실험은 먼저, 색인어 관계행렬에 따라서 검색결과에 서열을 부여하였고, 기준적합도값의 변동에 따라 검색결과가 유동적으로 대응하도록 하였으며, 관계값을 의미적 거리로 파악함으 로써 검색과정과 검색 시맨틱스를 일치시키고자 새롭게 시도하였다.