• 논리연구
• /
• 제19권2호
• /
• pp.295-322
• /
• 2016

이 글에서 우리는 유니놈에 기반한 퍼지 논리를 위한 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 유니놈에 기반한 논리체계들을 위한 대수적 의미론을 재고한다. 다음으로 유니놈에 기반한 체계들의 일반적 구조에서 다양한 종류의 일반적 대수적 크립키형 의미론을 소개하고 그것들을 대수적 의미론과 연관 짓는다. 마지막으로 우리는 유사하게 특수한 대수적 의미론을 소개하고 이를 또한 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제17권1호
• /
• pp.181-196
• /
• 2014

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 보다 정확히 유니놈에 기반한 퍼지 논리 UL의 몇몇 약화없는 확장을 위한 대수적 크립키형 의미론을 소개한다. 이를 위하여 먼저 UL의 약화없는 확장 채계들을 소개하고 그에 상응하는 대수들을 정의한 후 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 이러한 체계들을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제21권2호
• /
• pp.155-174
• /
• 2018

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 퍼지 논리를 위한 대수적 크립키형 의미론을 연구한다. 이를 위하여 먼저 약한 결합 원리를 갖는 퍼지 논리의 대수적 의미론을 소개한다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 제공한 후, 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제15권1호
• /
• pp.1-16
• /
• 2012

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 이를 위한 한 예로 UL을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 UL 채계를 소개하고 그에 상응하는 UL-대수를 정의한 후 UL이 대수적으로 완전하다는 것을 보인다. 다음으로 UL을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제17권3호
• /
• pp.441-461
• /
• 2014

이 글에서 우리는 3치 초일관 논리를 위한 한 종류의 크립키형 의미론 즉 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개하고 그에 상응하는 대수를 정의한 후 이 두 체계가 대수적으로 완전하다는 것을 보인다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관짓는다.

• 논리연구
• /
• 제18권1호
• /
• pp.65-83
• /
• 2015

이 글에서 우리는 3치 초일관 논리를 위한 비대수적 집합-이론적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개한다. 그리고 그 다음에 이에 상응하는 집합-이론적 크립키형 의미론을 소개한다.

• 논리연구
• /
• 제21권1호
• /
• pp.39-57
• /
• 2018

이 글에서 우리는 약화 없는 비교환적인 퍼지 논리의 비대수적 크립키형 의미론 즉 집합 이론적 크립키형 의미론을 다룬다. 이를 위하여 먼저 우리는 가-유니놈에 기반한 퍼지 논리 HpsUL의 한 확장 체계인 $CnHpsUL^*$을 소개한다. 다음으로 CnHpsUL*을 위한 집합 이론적 크립키형 의미론을 소개한다.

• 논리연구
• /
• 제22권1호
• /
• pp.25-42
• /
• 2019

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 준구조 퍼지 논리를 위한 집합 이론적 크립키형 의미론을 연구한다. 이를 위하여 먼저 약한 결합 원리를 갖는 세 준구조 퍼지 논리체계들을 상기한 후 이 체계들에 상응하는 크립키형 의미론을 소개한다. 다음으로 집합 이론적 방식을 이용하여 이 체계들이 완전하다는 것을 보인다.

• 논리연구
• /
• 제22권2호
• /
• pp.291-307
• /
• 2019

이 글에서 우리는 연관 논리 R을 퍼지화한 체계 FR을 위한 집합 이론적인 크립키형 의미론을 다룬다. 이를 위하여 먼저 FR 체계와 그에 상응하는 크립키형 의미론을 소개한다. 다음으로 FR을 위한 집합 이론적 완전성 결과를 제공한다.

• 논리연구
• /
• 제15권2호
• /
• pp.207-222
• /
• 2012

이 글에서 우리는 연관 논리 R을 퍼지화한 체계 FR을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 FR 체계를 소개하고 그에 상응하는 FR-대수를 정의한 후 FR이 대수적으로 완전하다는 것을 보인다. 다음으로 FR을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다. 마지막으로 이러한 의미론이 R에는 적용될 수 없다는 점을 보인다.