• Title/Summary/Keyword: weakening-free fuzzy logic

Search Result 9, Processing Time 0.014 seconds

Algebraic Kripke-style semantics for weakening-free fuzzy logics (약화없는 퍼지 논리를 위한 대수적 크립키형 의미론)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.17 no.1
    • /
    • pp.181-196
    • /
    • 2014
  • This paper deals with Kripke-style semantics for fuzzy logics. More exactly, I introduce algebraic Kripke-style semantics for some weakening-free extensions of the uninorm based fuzzy logic UL. For this, first, I introduce several weakening-free extensions of UL, define their corresponding algebraic structures, and give algebraic completeness. Next, I introduce several algebraic Kripke-style semantics for those systems, and connect these semantics with algebraic semantics.

  • PDF

Weakening- free non-associative fuzzy logics: mica- norm (based) logics

  • Yang, Eun-Suk
    • 한국논리학회:학술대회논문집
    • /
    • 2009.05a
    • /
    • pp.38-66
    • /
    • 2009
  • Weakening-free non-associative fuzzy logics, which are based on mica-norms, are introduced as non-associative substructural logics extending $GL_{e\bot}$ (Non-associative Full Lambek calculus with exchange and constants T, F) introduced by Galatos and Ono (cf. see [10, 11]). First, the mica-norm logic MICAL, which is intended to cope with the tautologies of left-continuous conjunctive mica-norms and their residua, and several axiomatic extensions of it are introduced as weakening-free non-associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness (i,e. completeness with respect to algebras whose lattice reduct is the real unit interval [0, 1]) is established for these logics by using Jenei and Montagna-style approach for proving standard completeness in [7, 18].

  • PDF

Weakly associative fuzzy logics (약한 결합 원리를 갖는 퍼지 논리)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.19 no.3
    • /
    • pp.437-461
    • /
    • 2016
  • This paper investigates weakening-free fuzzy logics with three weak forms of associativity (of multiplicative conjunction &). First, the wta-uninorm (based) logic $WA_tMUL$ and its two axiomatic extensions are introduced as weakening-free weakly associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness is established for $WA_tMUL$ and the two axiomatic extensions with an additional axiom using construction in the style of Jenei-Montagna.

  • PDF

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

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.16 no.1
    • /
    • pp.1-15
    • /
    • 2013
  • Yang [12] investigated weakening-free fuzzy logics expanded by the delta connective $\Delta$, which can be interpreted as Baaz's projection and its generalizations. In this paper, we keep investigating such logics with an alternative delta connective $\Delta$, which can be regarded as a variant of the Baaz projection. The main difference is that although our new $\Delta$ satisfies many properties of Baaz projection, it can nether be interpreted as Baaz's projection itself nor its generalizations. For this, we first introduce several weakening-free fuzzy logics with the alternative connective $\Delta$. The algebraic structures corresponding to the systems are then defined, and their algebraic completeness is proved.

  • PDF

Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics

  • Yang, Eun-Suk
    • Korean Journal of Logic
    • /
    • v.12 no.1
    • /
    • pp.89-110
    • /
    • 2009
  • This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.

  • PDF

Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL* (CnHpsUL*을 위한 집합 이론적 크립키형 의미론)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.21 no.1
    • /
    • pp.39-57
    • /
    • 2018
  • This paper deals with non-algebraic Kripke-style semantics, i.e, set-theoretical Kripke-style semantics, for weakening-free non-commutative fuzzy logics. We first recall an extension of the pseudo-uninorm based fuzzy logic HpsUL, $CnHpsUL^*$. We next introduce set-theoretical Kripke-style semantics for it.

Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics (약한 결합 원리를 갖는 퍼지 논리를 위한 대수적 크립키형 의미론)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.21 no.2
    • /
    • pp.155-174
    • /
    • 2018
  • This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.

Standard Completeness for MTL (MTL의 표준 완전성)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.16 no.3
    • /
    • pp.437-452
    • /
    • 2013
  • This paper verifies the following two: First, I verify the standard completeness proof for the system $ULw_t$ is not correct in the sense that t-weakening uninorms are t-norms, but not weakening-free uninorms. Second, I verify that the proof for $ULw_t$ can be used for the system MTL. That is, I provide a new standard completeness proof for it.

  • PDF

Algebraic Kripke-style semantics for an extension of HpsUL, CnHpsUL* (CnHpsUL*을 위한 대수적 크립키형 의미론)

  • Yang, Eunsuk
    • Korean Journal of Logic
    • /
    • v.19 no.1
    • /
    • pp.107-126
    • /
    • 2016
  • This paper deals with Kripke-style semantics for weakening-free non-commutative fuzzy logics. As an example, we consider an algebraic Kripke-style semantics for an extension of the pseudo-uninorm based fuzzy logic HpsUL, $CnHpsUL^*$. For this, first, we recall the system $CnHpsUL^*$, define its corresponding algebraic structures $CnHpsUL^*$-algebras, and algebraic completeness results for it. We next introduce a Kripke-style semantics for $CnHpsUL^*$, and connect it with algebraic semantics.

  • PDF