• 논리연구
• /
• 제18권2호
• /
• pp.197-215
• /
• 2015

이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미카놈에 바탕을 둔 네 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 두 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

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

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

• 논리연구
• /
• 제18권3호
• /
• pp.437-456
• /
• 2015

이 글에서 우리는 연관 논리 R의 두 버전을 위한 루트리-마이어 의미론을 다룬다. 이를 위하여 먼저 R의 두 버전 $R^t$와 $R^T$를 그리고 그것들에 상응하는 대수적 의미론을 소개한다. 다음으로 이 체계들을 위한 루트리-마미어 의미론을 제공한다.

• 논리연구
• /
• 제19권3호
• /
• pp.437-461
• /
• 2016

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 약화 없는 퍼지 논리를 연구한다. 이를 위하여 먼저 wta-유니놈에 기반 한 체계 $WA_tMUL$과 이의 두 공리적 확장 체계들을 약화 없는 약한 결합 원리를 갖는 퍼지 논리로 소개한다. 그리고 각 체계에 상응하는 대수적 구조를 정의한 후, 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 제네이-몬테그나 스타일의 구성방식을 사용하여 체계 $WA_tMUL$과 추가적 공리를 갖는 두 확장 체계들이 표준적으로 완전하다는 것을 보인다.

• 논리연구
• /
• 제23권1호
• /
• pp.1-23
• /
• 2020

이 글에서 우리는 좌, 우 n-멱등 공리를 갖는 미아놈에 기반한 논리를 다룬다. 이를 위하여 먼저 미아놈에 바탕을 둔 좌, 우 n-멱등 공리를 갖는 논리 체계 P^r_nMIAL, P^l_nMIAL을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다. 마지막으로 이를 고정점을 갖는 누승적 확장에 대한 연구로 확대한다.