Uninorm logic with the \(n\)-potency axiom (Q695273)

The paper deals with the extensions of Metcalfe and Montagna uninorm logic UL by means of the axiom of \(n\)-potency \(C_n := \varphi^n \leftrightarrow \varphi^{n-1}\). For each integer \(n \geq 2\), the resulting system is called \(C_n\mathrm{UL}\). The author proves standard completeness for every \(C_n\mathrm{UL}\) adapting the original method used by Jenei and Montagna to prove the analogous result for MTL, and introduces an analytic hypersequent calculus for each \(C_n\mathrm{UL}\).