본 논문은 퍼지 명제 논리와 고전적 명제 논리의 안정 모델 의미론을 일반화하는 퍼지 명제 공식에 대한 안정 모델 의미론을 정의합니다. 구문은 퍼지 명제 논리와 동일하지만, 의미론적으로 안정 모델과 비안정 모델을 구분합니다. 이러한 일반적인 언어는 다양한 진리값을 갖는 동적 영역에 대한 높은 구성 가능성을 지닌 비단조 추론을 허용합니다. 논문은 부울 안정 모델의 여러 속성이 이 다치 설정으로 자연스럽게 확장됨을 보이고, 퍼지 논리와 안정 모델 의미론을 결합하는 다른 접근 방식과의 관계를 논의합니다.