Key points are not available for this paper at this time.
The axiomatic system introduced by H\'ajek axiomatizes first-order logic based on BL-chains. In this study, we extend this system with the axiom (x) ² x ² and the infinitary rule \ (ⁿ): n N (\&) \ to achieve strong completeness with respect to continuous t-norms.
Castaño et al. (Thu,) studied this question.