Research Article

Optimised ExpTime Tableaux for over Finite Residuated Lattices

Table 2

Conjugated pairs.

ā€‰