Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results

From Mathfuzzlog
Redirect page
Jump to: navigation, search