Umberto Rivieccio
Profesor Ayudante Doctor
Departamento de Lógica, Historia y Filosofía de la Ciencia
METIS Research Group
MATHESIS Research Group
PHIDELO Research Project
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
RECENT TALKS
The Logic of Ordinary Discourse, PHIDELO Seminar, 18 April 2024.
The Unordinary Logic of Ordinary Discourse, METIS Seminar, UNED, Madrid, 5 March 2024.
Quasi-Nelson logic and fragments, 1st Workshop on Contradictory Logics, Ruhr University Bochum, Germany, 6 December 2023.
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.
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 representations, MOSAIC 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).
PUBLICATIONS
Submitted
Aldo Figallo, U.R., (In)consistency operators on quasi-Nelson algebras.
U.R., The Algebra of Ordinary Discourse.
Vitor Greati, Sérgio Marcelino, João Marcos, U.R., Axiomatizing the Logic of Ordinary Discourse.
Vitor Greati, Sérgio Marcelino, João Marcos, U.R., Adding an Implication to Logics of Perfect Paradefinite Algebras.
Clodomir Silva Lima, João Marcos, U.R., Two algebraizable fragments of quasi-Nelson logic.
To appear
Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, U.R., Generating proof systems for three-valued propositional logics.
2024
Jouni Järvinen, Sándor Radeleczki, U.R., Nelson Algebras, Residuated Lattices and Rough Sets: a Survey. Journal of Applied Non-Classical Logics, DOI: 10.1080/11663081.2024.2336386.
Manuela Busaniche, U.R., Nelson conuclei and nuclei: the twist construction beyond involutivity, Studia Logica, DOI: 10.1007/s11225-023-10088-9.
Sergio Celani, U.R., Intuitionistic modal algebras. Studia Logica, DOI: 10.1007/s11225-023-10065-2.
Vitor Greati, Sérgio Marcelino, U.R., Finite Hilbert systems for Weak Kleene logics, Studia Logica, DOI: 10.1007/s11225-023-10079-w.
Carlos Caleiro, Sérgio Marcelino, U.R., Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics. In: Malinowski, J., Palczewski, R. (eds) Janusz Czelakowski on Logical Consequence. Outstanding Contributions to Logic, vol 27. Springer, Cham, 2024. DOI: 10.1007/978-3-031-44490-6_12.
2023
Andreas Kapsner, U.R., The Value of the One Value: Exactly True Logic Revisited, Journal of Philosophical Logic, 52, 2023, pp. 1417–1444.
U.R., Fragments of quasi-Nelson: Residuation. Journal 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.
2022
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.
2021
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.
2020
(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.
2019
(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.
2018
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.
2017
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.
U.R. and Sérgio Marcelino, Locally tabular ≠ locally finite.
Logica Universalis, Special Issue: Compositional Meaning in Logic, 11 (3), 2017, pp. 383-400.
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.
2016
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.
2015
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.
2014
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.
2013
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.
2012
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.
2011
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.
2010
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.
2008
Neutrosophic logics: prospects and problems. Fuzzy Sets and Systems, vol. 159/14 (2008). p. 1860-1868.
2007
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.
2005
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.