Involutive Monoidal t-Norm-Based Logic and R_o Logic

摘要

We investigate the relations between involutive monoidal t-norm-based logics (IMTL) and R_o logics. The main results are as follows: the logic IMTL and weak R_o logic are equivalent; nilpotent minimum logic and R_o logic are equivalent.