Canonical formulas for k-potent commutative, integral, residuated lattices
Nick, Nick and I have finished the paper about canonical formulas for -potent residuated lattices. A (incomplete) presentation of the paper can be found here. The paper can be downloaded here The abstract reads as follows: Canonical formulas are a powerful tool…