2 papers
math.LO2023
Structurally complete finitary extensions of positive Łukasiewicz logic
Paolo Aglianò, Francesco Manfucci
In this paper we study , i.e. the positive fragment of Łukasiewicz Multi-Valued Logic . In particular we describe all the finitary extensions of $\mat…
math.LO2023
Why most papers on filters are really trivial (including this one)
Paolo Aglianò
The aim of this note is to show that many papers on various kinds of filters (and related concepts) in (subreducts of) residuated structures are in fact easy consequences of more g…