Pages that link to "Item:Q894383"

The following pages link to A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic (Q894383):

Displayed 1 item.

• \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) ‎ (← links)