RELATIONAL TERNARY SEMANTICS FOR A LOGIC EQUIVALENT TO INVOLUTIVE MONOIDAL t-NORM BASED LOGIC IMTL
Gemma Robles, José M. Méndez · 2005
We deflne the logic ICI complete with respect to certain ternary relational structures. ICI is a particular negation extension of Urquhart’s many-valued logic C. The logic ICI is deductively equivalent to Esteva and Godo’s Involutive Monoidal t-norm based logic IMTL.