Involutive uninorm logic with fixed point enjoys finite strong standard completeness

HIGHLIGHTS

• who: Sándor Jenei from the (UNIVERSITY) have published the article: Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness, in the Journal: (JOURNAL)
• what: As a first step toward this goal, the authors focus on odd involutive FLe -chains, which is a subclass of involutive FLe -chains. The proof of finite strong standard completeness To ensure that Theorem 1 will be applicable to the problem , first the authors show that Proposition 1 Every finitely generated odd involutive FLe -chain has only finitely many positive idempotent elements. Next the authors show that Xi . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or Email

  Password

  Remember me

  Lost your password?

  If you don't have an account, you can create one here.