Umberto Rivieccio

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 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

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.

2023

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, https://doi.org/10.1007/978-3-031-44490-6_12.

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: 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.

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.