@dblp

Residuated logics based on strict triangular norms with an involutive negation.

, , , and . Math. Log. Q., 52 (3): 269-282 (2006)

Links and resources

Tags