• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.313-333
• /
• 2017

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna.

• Korean Journal of Logic
• /
• v.18 no.2
• /
• pp.197-215
• /
• 2015

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, four involutive micanorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for two of them using construction in the style of Jenei-Montagna.

• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.273-292
• /
• 2017

In this paper, we deal with some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, the two involutive micanorm-based logics $P_nIMICAL$ and $FP_nIMICAL$ are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for $FP_nIMICAL$ using construction in the style of Jenei-Montagna.

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.323-349
• /
• 2014

In this paper, we show that the standard completeness for the extension of UL with compensation-free reinforcement (cfr) $(({\phi}&{\psi}){\rightarrow}({\phi}{\wedge}{\psi})){\vee}(({\phi}{\vee}{\psi}){\rightarrow}({\phi}&{\psi}))$ can be established. More exactly, first, the compensation-freely reinforced uninorm logic $UL_{cfr}$ (the UL with (cfr)) is introduced. The algebraic structures of $UL_{cfr}$ are then defined, and its algebraic completeness is established. Next, standard completeness (i.e. completeness on [0, 1]) is established for $UL_{cfr}$ by using the method introduced in Yang (2009).

• Korean Journal of Logic
• /
• v.23 no.1
• /
• pp.1-23
• /
• 2020

This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei-Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.

• 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.

• 한국논리학회:학술대회논문집
• /
• 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].

• Korean Journal of Logic
• /
• v.9 no.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.

• Korean Journal of Logic
• /
• v.10 no.2
• /
• pp.125-146
• /
• 2007

This paper investigates the relevance system R-mingle (RM) as a a fuzzy-relevance logic. It shows that RM is fuzzy in Cintula's sense, i.e., RM is complete with respect to linearly ordered L-matrices (or L-algebras). More exactly, we first introduce RM and its weak versions wwRM and wRM. We next provide algebraic and matrix completeness results for them.

• 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.