• Korean Journal of Logic
• /
• v.22 no.3
• /
• pp.397-415
• /
• 2019

This paper deals with the pretabular property of some fuzzy logics. For this, we first introduce the involutive idempotent uninorm logics IdIUL and IUML and examine the relationship between IdIUL and the another well-known system $RM^T$. Next, we show that IUML is pretabular, whereas IdIUL is not.

• Korean Journal of Logic
• /
• v.14 no.1
• /
• pp.55-76
• /
• 2011

Fixed-point conjunctive left-continuous idempotent uninorms have been introduced (see e.g. [2, 3]). This paper studies a system for such uninorms. More exactly, one system obtainable from IUML (Involutive uninorm mingle logic) by dropping involution (INV), called here WUML (Weak Uninorm Mingle Logic), is first introduced. This is the system of fixed-point conjunctive left-continuous idempotent uninorms and their residua with weak negation. Algebraic structures corresponding to the system, i.e., WUML-algebras, are then defined, and algebraic completeness is provided for the system. Standard completeness is further established for WUML and IUML in an analogy to that of WNM (Weak nilpotent minimum logic) and NM (Nilpotent minimum logic) in [4].

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.171-197
• /
• 2008

In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.