A note on standard completeness for some extensions of uninorm logic (Q894654)

In this article, the author analyzes uninorm logic UL extended with so called knotted axioms, which were introduced by \textit{R. Hori} et al. [Notre Dame J. Formal Logic 35, No. 2, 219--242 (1994; Zbl 0812.03008)]. Firstly, in Section 2, ``a Gentzen-style calculus for any axiomatic extension of UL with knotted axioms'' is shown. Next, in Section 3, the density elimination is discussed. The proof of the main result of this section, i.e., Theorem 1, is based on ideas presented by \textit{A. Ciabattoni} and \textit{G. Metcalfe} [Theor. Comput. Sci. 403, No. 2--3, 328--346 (2008; Zbl 1206.03027)]. The main result of this article, standard completeness for uninorm logic extended with knotted axioms, is obtained in Theorem 3.