Umberto Rivieccio

Profesor Ayudante Doctor 

Departamento de Lógica, Historia y Filosofía de la Ciencia  


METIS Research Group

Paseo de Senda del rey 7

28040 Madrid - SPAIN

(+34) 91398-6382


Assistant Professor at the DIMAp

Department of Informatics and Applied Mathematics 

Federal University of Rio Grande do Norte (UFRN)

CAROL CNPq Research Group

Campus Universitário - Lagoa Nova 

59072-970  Natal - RN - BRAZIL

CV Lattes



Fragments of (quasi-)Nelson: residuation, MOSAIC  Workshop, Vienna, Austria, 29 September 2023.

Intuitionistic modal algebras, ECUMENICAL Meeting, 17th edition of the International Congress on Logic, Methodology and Philosophy of Science and Technology, Buenos Aires, Argentina, 26 July 2023.

Treating pathological logics, MATHESIS Workshop: Beyond Classical Operations, Universidad Complutense de Madrid, 20 April 2023.

Lógicas para información parcial e inconsistente, C1b3rwall Academy 2022/2023, Filosofía y Tecnología.

(I) (II) (III) (IV)

Lógicas para información parcial e inconsistente, Seminario UNED, 25 October 2022.

Nelson conuclei and nuclei: the twist construction beyond involutivity,  Logic, Algebra and Truth Degrees (LATD), Paestum (Salerno, Italy), 5 September 2022.

Intutionistic modal algebras and twist representationsMOSAIC Kick Off Meeting, Paestum (Salerno, Italy), 5 September 2022.

Representation of Semi- and Quasi- Kleene Lattices. Trends in Logic XXII Workshop, Cagliari, 19 July 2022.

The twist construction beyond involutivity. AMS Spring Western Virtual Sectional Meeting, Special Session on Algebraic Logic, 14-5 May 2022.

Twist-Algebras, Nuclei and Conuclei. ALOPHIS Seminar,  Dipartimento di Pedagogia, Psicologia, Filosofia, Università degli Studi di Cagliari, 10 March 2022.

Twist-Algebras and Nuclei. Workshop On Non-Classical Logic And Probabilistic Reasoning, Laboratoire d'Informatique Fondamentale d'Orléans, France, 17 February 2022.

Twist-Algebras and Nuclei. Seminário de Lógica Algebraica, Tandil, 3 September 2021.

(Fragments of) Quasi-Nelson. Reunión Anual Unión Matemática Argentina (virtUMA 2020).



Vitor Greati,  Sérgio Marcelino, João Marcos, U.R., Adding an Implication to Logics of Perfect Paradefinite Algebras.

Jouni Järvinen, Sándor Radeleczki, U.R., Nelson Algebras, Residuated Lattices and Rough Sets: a Survey. 

Manuela Busaniche, U.R., Nelson conuclei and nuclei: the twist construction beyond involutivity.

Vitor Greati,  Sérgio Marcelino, U.R., Finite Hilbert systems for Weak Kleene logics.

Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, U.R., Generating proof systems for three-valued propositional logics.


Carlos Caleiro, Sérgio Marcelino, U.R., Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics. In J. Malinowski and R. Palczewski (eds.), Janusz Czelakowski on Logical Consequence, Outstanding Contributions to Logic 27,

Andreas Kapsner, U.R., The Value of the One Value: Exactly True Logic Revisited, Journal of Philosophical Logic, DOI: 10.1007/s10992-023-09711-w.

Sergio Celani, U.R., Intuitionistic modal algebras. Studia Logica, DOI: 10.1007/s11225-023-10065-2.

U.R., Fragments of quasi-Nelson: ResiduationJournal of Applied Non-Classical Logics, 33(1), 2023, pp. 52-119.

Sérgio Marcelino,  U.R.,  Finite axiomatizability of logics of distributive lattices with negation. Logic Journal of the IGPL,  31(3), 2023, pp. 510–533.


Fragments of Quasi-Nelson: the algebraizable core. Logic Journal of the IGPL,  30 (5): 807-839, 2022.

Tommaso Flaminio, U.R., Prelinearity in (quasi-)Nelson logic. Fuzzy Sets and Systems, 445:66-89, 2022.

Thiago Nascimento, Clodomir Silva Lima Neto, U.R.,  Algebraizability of the Logic of Quasi-N4-Lattices, in A. Indrzejczak, M. Zawidzki (Eds): 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022) EPTCS 358, 2022, pp. 240–253, doi: 10.4204/EPTCS.358.18.

Sérgio Marcelino, U.R., Logics of involutive Stone algebras. Soft Computing,  2022, 26, pp. 3147–3160.

Quasi-N4-lattices. Soft Computing,  26 (6), 2022, pp. 2671–2688.


 Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, U.R.,  On Logics of Perfect Paradefinite Algebras. In Mauricio Ayala-Rincon and Eduardo Bonelli: Proceedings 16th Logical and Semantic Frameworks with Applications (LSFA 2021), Buenos Aires, Argentina (Online), 23rd - 24th July, 2021, Electronic Proceedings in Theoretical Computer Science 357, pp. 56–76.

Ramon Jansana,  U.R., Quasi-Nelson algebras and fragments. Mathematical Structures in Computer Science,  31, 2021, pp. 257–285.

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

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

Rui Paiva, Regivan Santiago, Benjamín Bedregal,  U.R., Inflationary BL-algebras obtained by 2-dimensional general overlap functions. Fuzzy Sets and Systems, 418(15): 64-83, 2021.


(with Thiago Nascimento, Matthew Spinks and João Marcos), Nelson's logic S. Logic Journal of the IGPL, 28 (6), 2020, p. 1182-1206.

(with Matthew Spinks), Quasi-Nelson; or, non-involutive Nelson algebras. In: D. Fazio, A. Ledda, F. Paoli (eds.), Algebraic Perspectives on Substructural Logics (Trends in Logic, 55), pp. 133-168, Springer, 2020.

(with Tommaso Flaminio and Thiago Nascimento), On the representation of (weak) nilpotent minimum algebras. 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Glasgow, United Kingdom, 2020, pp. 1-8, DOI: 10.1109/FUZZ48607.2020.9177641.

Fragments of quasi-Nelson: two negations. Journal of Applied Logic, 7 (4), 2020, pp. 499-559.

(with Ramon Jansana and Thiago Nascimento), Two dualities for weakly pseudo-complemented quasi-Kleene algebras. In: Lesot M.J. et al. (eds), Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2020. Communications in Computer and Information Science, vol 1239, Springer, 2020, pp. 634-653.

(with Paulo Maia and Achim Jung), Non-involutive twist-structures. Logic Journal of the IGPL (Special issue: Recovery Operators and Logics of Formal Consistency & Inconsistencies), 28 (5), 2020, pp. 973–999.

U.R., Zeinab Bakhtiari and Hans Van Ditmarsch, Bilattice logic of epistemic actions and knowledge. Annals of Pure and Applied Logic, 171 (6), 2020.

DOI: 10.1016/j.apal.2020.102790.

Representation of De Morgan and (semi-)Kleene lattices. Soft Computing, 24 (12), 2020, pp. 8685-8716. DOI: 10.1007/s00500-020-04885-w.


(with Matthew Spinks), Quasi-Nelson algebras. Electronic Notes in Theoretical Computer Science, 344 (2019), pp. 169-188.

U.R.,  Thiago Nascimento and Matthew Spinks, Compatibly involutive residuated lattices and the Nelson identity. Soft Computing, 23 (7), 2019, pp. 2297-2320. 

U.R.,  Giuseppe Greco, Fei Liang and Alessandra Palmigiano, Bilattice Logic Properly Displayed. Fuzzy Sets and Systems, 363 (2019), pp. 138-155.


U.R.,  Rui Paiva, Regivan Santiago, Benjamín Bedregal, naBL-algebras based on overlaps and their conjugates. 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2018, DOI: 10.1109/FUZZ-IEEE.2018.8491488.

U.R.,  Thiago Nascimento, Matthew Spinks and João Marcos, 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, 2018, pp. 271-288. Springer, Berlin, Heidelberg.

U.R.,  Sérgio Marcelino and Carlos Caleiro, Plug and play negations. In W. Carnielli and J. Malinowski (eds.), Contradictions, from Consistency to Inconsistency. Trends in Logic 47, Springer (2018), pp. 307-322.

U.R., Sérgio Marcelino and Carlos Caleiro, Characterizing finite-valuedness. Fuzzy Sets and Systems, 345 (2018), pp. 113--125.


U.R., Hugo Albuquerque and Adam Přenosil, An algebraic view of super-Belnap logics. Studia Logica (Special Issue: 40 years of FDE), 105, 6 (2017), pp. 1051-1086.

Full-text view-only version

U.R. and Sérgio Marcelino, Locally tabular ≠ locally finite. 

Logica Universalis, Special Issue: Compositional Meaning in Logic, 11 (3), 2017, pp. 383-400.

Full-text view-only version 

U.R., Achim Jung and Ramon Jansana, Four-valued modal logic: Kripke semantics and duality. 

Journal of Logic and Computation, 27, 2017, pp. 155-199.



U.R., Leonardo Cabrer and Ricardo Rodríguez, Łukasiewicz Public Announcement Logic.

In J. P. Carvalho, M-J. Lesot, U. Kaymak, S. Vieira, B. Bouchon-Meunier, R. R. Yager (eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part II (Proceedings of the 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016), Vol. 611 of the series Communications in Computer and Information Science, 2016, pp. 108-122.


U.R. and  Zeinab Bakhtiari, Epistemic updates on bilattices (extended abstract).

In W. Van der Hoek, H.H. Wesley, W. Wen-fang Wang (eds.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings. Vol. 9394. Springer, 2015, p. 426-428.



Bilattice public announcement logic. 

In R. Goré, B. Kooi and A. Kurucz (editors), Advances in Modal Logic, Volume 10, College Publications, 2014, p. 459-477.


Algebraic semantics for bilattice public announcement logic.  In A. Indrzejczak, J. Kaczmarek, M. Zawidzki (eds.), Proceedings of Trends in Logic XIII (Lodz, Poland, 2-5 July 2014), Lodz University Press, 2014, pp. 199-215.


U.R. and Ramon Jansana, Dualities for modal N4-lattices. Logic Journal of the IGPL, 22 (4), 2014, p. 608-637.


U.R. and Hiroakira Ono, Modal twist-structures over residuated lattices. Logic Journal of the IGPL, 22 (3), 2014, p. 440-457.


Implicative twist-structures. Algebra Universalis, 71, 2, 2014, p. 155-186.



U.R. and Ramon Jansana, Priestley duality for N4-lattices.  Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), 23, 2013, p. 223-229.


U.R. and Félix Bou, Bilattices with implications.  Studia Logica, 101, 4 (2013), p. 651-675.


U.R. and Achim Jung, Kripke semantics for modal bilattice logic. Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, p. 438-447, 2013.


U.R. and  Andreas Pietz, Nothing but the truth.  Journal of Philosophical Logic, 42, 1 (2013), p. 125-135.


Representation of interlaced trilattices.  Journal of Applied Logic, 11, 2 (2013), p. 174-189.



An infinity of super-Belnap logics. Journal of Applied Non-Classical Logics, 22, 4 (2012), p. 319-335.


U.R. and Achim Jung, Priestley duality for bilattices. Studia Logica, 100, 1-2 (2012), p. 223-252.


U.R. and Ramon Jansana, Residuated bilattices. Soft Computing 16 (3), 2012, p. 493-504.



Paraconsistent modal logics.  Electronic Notes in Theoretical Computer Science, 278 (2011), p. 173-186.


U.R., Félix Bou and Ramon Jansana, Varieties of interlaced bilattices.  Algebra Universalis, 66 (1-2), 2011, p. 115-141.


U.R., Félix Bou, The logic of distributive bilattices.  Logic Journal of the IGPL, 19 (1), 2011, p. 183-216.



An Algebraic Study of Bilattice-based Logics. 

PhD thesis, University of Barcelona - University of Genoa.


A bilattice for contextual reasoning.

In M. D’Agostino, G. Giorello, F. Laudisa, T. Pievani, C. Sinigaglia (eds.), SILFS New Essays in Logic and Philosophy of Science, College Publications, London, p. 3-12.


What is abstract algebraic logic? Epistemologia, Rivista italiana di Filosofia della Scienza, XXXII (2009), p. 173-196.



Neutrosophic logics: prospects and problems. Fuzzy Sets and Systems, vol. 159/14 (2008). p. 1860-1868.



Contextual bilattices. 

In Proceedings of the the Doctoral Consortium of the Sixth International and Interdisciplinary Conference on Modelling and Using Context, Roskilde University, Denmark, 20-24 August 2007.



Logiche  polivalenti  per  l’Intelligenza  Artificiale: il  sistema  di  Ginsberg 

(Many-valued logics for Artificial Intelligence: Ginsberg’s system; in Italian). 

Epistemologia, Rivista italiana di Filosofia della Scienza, XXVIII (2005), p. 25-44.