Structurally complete finitary extensions of positive Łukasiewicz logic

Paolo Aglianò, Francesco Manfucci

In this paper we study ${\mathcal{M}\mathcal{V}}^{+}$, i.e. the positive fragment of Łukasiewicz Multi-Valued Logic $\mathcal{M}\mathcal{V}$. In particular we describe all the finitary extensions of $\mat…