S. Marcelino, U. Rivieccio, Logics of involutive Stone algebras. Soft Computing, 2022, DOI: 10.1007/s00500-022-06736-2.

U. Rivieccio, Quasi-N4-lattices. Soft Computing, 2022, DOI: 10.1007/s00500-021-06719-9.

S. Marin, D. Miller, E. Pimentel, M. Volpe, From axioms to synthetic inference rules via focusing. Annals of Pure and Applied Logic 173(5), 2022, 103091.


U. Rivieccio, T. Nascimento, Negation and Implication in Quasi-Nelson Logic. Logical Investigations, 27 (1), 2021, pp. 107–123.

U. Rivieccio, A. Jung, A duality for two-sorted lattices. Soft Computing, 25(2), 2021, pp. 851-868.

S. Marin, L. C. Pereira, E. Pimentel, E. Sales, A pure view of ecumenical modalities. LNCS 13038, WoLLIC 2021, pp. 388-407.

E. Pimentel, L. C. Pereira, V. de Paiva, An ecumenical notion of entailment. Synthese, 198 (22), 2021, pp. 5391-5413.

E. Pimentel, C. Olarte, V. Nigam, Process-As-Formula Interpretation: A Substructural Multimodal View. Invited talk at FSCD 2021, pp. 3:1-3:21.

T. Dalmonte, B. Lellmann, N. Olivetti, E. Pimentel, Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity. Journal of Logic and Computation 31 (1), pp. 67–111.


T. Nascimento, U. Rivieccio, J. Marcos, M. Spinks, Nelson’s logic S. Logic Journal of the IGPL, 28 (6), 2020, pp. 1182–1206.

M. Spinks, U. Rivieccio, T. Nascimento, Compatibly involutive residuated lattices and the Nelson identity. Soft Computing, 23, 2020, pp. 2297–2320.

U. Rivieccio, R. Jansana, T. Nascimento, Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras. In: Lesot MJ. et al. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2020. Communications in Computer and Information Science, vol 1239. Cham, Switzerland: Springer.

U. Rivieccio, T. Flaminio, T. Nascimento, On the representation of (weak) nilpotent minimum algebras. 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp. 1-8.


F. Liang, T. Nascimento, Algebraic Semantics for Quasi-Nelson Logic. In: Iemhoff R., Moortgat M., de Queiroz R. (eds) Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, vol 11541. Berlin, Germany: Springer.


T. Nascimento, U. Rivieccio, J. Marcos, M. Spinks, Algebraic Semantics for Nelson’s Logic S. In: Moss L., de Queiroz R., Martinez M. (eds) Logic, Language, Information, and Computation. WoLLIC 2018. Lecture Notes in Computer Science, vol 10944. Berlin, Germany: Springer.