Structurally complete finitary extensions of positive Łukasiewicz logic
Abstract In this paper we study $\mathcal{M}\mathcal{V}^{+}$, i.e. the positive fragment of Łukasiewicz infinite-valued Logic $\mathcal{M}\mathcal{V}$. Using mainly algebraic techniques we characterize all the finitary extensions of $\mathcal{M}\mathcal{V}^{+}$ that are structurally complete and those that are hereditarily structurally complete.
Authors
- Paolo Aglianò (ORCID: https://orcid.org/0000-0002-2860-6157)
- Francesco Manfucci
Institutions
- University of Siena (IT)
Publication Details
- Journal
- Logic Journal of IGPL
- Published
- 2024-09-26
- DOI
- https://doi.org/10.1093/jigpal/jzae118
- Primary Topic
- Advanced Algebra and Logic
- Type
- article
- Field-Weighted Citation Impact
- 0.00