• 제목/요약/키워드: Baaz projection and its variant

검색결과 2건 처리시간 0.013초

Weakening-free fuzzy logics with the connective Δ (II): a variant of Baaz projection

  • Yang, Eunsuk
    • 논리연구
    • /
    • 제16권1호
    • /
    • pp.1-15
    • /
    • 2013
  • 양은석은 [12]에서 Baaz 사영과 그것의 일반화로 간주될 수 있는 델타 연결사 $\Delta$에 의해 확대된 약화로부터 자유로운 퍼지 논리들을 연구하였다. 이 논문에서 우리는 Baaz 사영의 많은 성질들을 만족하지만 Baaz 사영으로도 그것의 일반화로도 간주될 수 없다는 의미에서 Baaz 사영의 변형에 해당하는 델타 연결사 $\Delta$에 의해 확대된 약화로부터 자유로운 퍼지 논리들을 연구한다. 이를 위하여 먼저 연결사 $\Delta$를 갖는 몇몇 약화로부터 자유로운 퍼지 논리를 소개한다. 다음으로 그에 상응하는 대수적 구조들을 정의한 후, 관련된 대수적 완전성을 증명한다.

  • PDF

Algebraic completeness results for sKD and its Extensions

  • Yang, Eun-Suk
    • 논리연구
    • /
    • 제9권1호
    • /
    • pp.1-29
    • /
    • 2006
  • This paper investigates algebraic semantics for sKD and its extensions $sKD_\triangle$, $sKD\forall$, and $sKD\forall{_\triangle}$: sKD is a variant of the infinite -valued Kleene- Diense logic KD; $sKD_\triangle$ is the sKD with the Baaz's projection A; and $sKD\forall$ and $sKD\forall{_\triangle}$: are the first order extensions of sKD and $sKD_\triangle$, respectively. I first provide algebraic completeness for each of sKD and $sKD_\triangle$. Next I show that each $sKD\forall$ and $sKD\forall{_\triangle}$: is algebraically complete.

  • PDF