  These systems are basically determined by a (possibly non-idempotent) strong conjunction connective \(\amp_{\rT}\) which has as corresponding truth degree function a t-norm \(\rT\), i.e. a binary operation \(\rT\) in the unit interval which is associative, commutative, non-decreasing, and has the degree 1 as a neutral element: