2026
Analytic Calculi for Logics of Indicative Conditionals. | Vitor Greati, Sérgio Marcelino, Miguel Muñoz Pérez, U.R.
In: Pozzato, G.L., Uustalu, T. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025. Lecture Notes in Computer Science, vol 15980, 2026. Springer. DOI: 10.1007/978-3-032-06085-3_4
Indicative conditionals: some algebraic considerations | Miguel Muñoz Pérez, U.R.
In D. Kozen and R. de Queiroz (Eds.): WoLLIC 2025, LNCS 15942, pp. 119–140, 2026. DOI: 10.1007/978-3-031-99536-1_8
2025
The Algebra of Ordinary Discourse. On the semantics of Cooper’s logic. | U.R.
Archive for Mathematical Logic, 64:795-817, 2025. DOI: 10.1007/s00153-024-00961-2.
Quantum Logics in Cognition: A Proposal | José Alejandro Fernández Cuesta, Michele Piazzai, U.R.
Synthese 206, 25 (2025). https://doi.org/10.1007/s11229-025-05090-8.
Axiomatizing the Logic of Ordinary Discourse | Vitor Greati, Sérgio Marcelino, U.R.
In: Lesot, MJ., et al. Information Processing and Management of Uncertainty in Knowledge-Based Systems
IPMU 2024. Lecture Notes in Networks and Systems, vol 1175. Springer, Cham., pp. 390--405. DOI: 10.1007/978-3-031-74000-8_32
2024
Finite Hilbert systems for Weak Kleene logics | Vitor Greati, Sérgio Marcelino, U.R.
Studia Logica 112, pp. 1215–1241, 2024. DOI: 10.1007/s11225-023-10079-w.
(In)consistency operators on quasi-Nelson algebras | Aldo Figallo, U.R.
G.~Metcalfe, T.~Studer, Ruy~de Queiroz (Eds.), Logic, Language, Information, and Computation, 30th International Workshop, WoLLIC 2024 Bern, Switzerland, June 10–13, 2024 Proceedings, pp. 175-192, 2024.
Adding an Implication to Logics of Perfect Paradefinite Algebras | Vitor Greati, Sérgio Marcelino, João Marcos, U.R.
Mathematical Structures in Computer Science, 34, pp. 1138–1183, 2024. DOI:10.1017/S0960129524000227.
Nelson conuclei and nuclei: the twist construction beyond involutivity | Manuela Busaniche, U.R.
Studia Logica, 112, pp. 1123--1161, 2024. DOI: 10.1007/s11225-023-10088-9.
Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics. | Carlos Caleiro, Sérgio Marcelino, U.R.
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.
Intuitionistic modal algebras | Sergio Celani, U.R.
Studia Logica 112: 611–660, 2024 | e-Spacio
Nelson Algebras, Residuated Lattices and Rough Sets: a Survey. | Jouni Järvinen, Sándor Radeleczki, U.R.
Journal of Applied Non-Classical Logics, 34:2-3, pp. 368-428, DOI: 10.1080/11663081.2024.2336386.
2023
The Value of the One Value: Exactly True Logic Revisited, | Andreas Kapsner, U.R.
Journal of Philosophical Logic, 52, 2023, pp. 1417–1444. doi: 10.1007/s10992-023-09711-w | e-Spacio
Fragments of quasi-Nelson: Residuation. | U.R.
Journal of Applied Non-Classical Logics, 33(1), 2023, pp. 52-119. doi: 10.1080/11663081.2023.2203312 | e-Spacio
Finite axiomatizability of logics of distributive lattices with negation. | Sérgio Marcelino, U.R.
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. doi: 10.1093/jigpal/jzab023 | e-Spacio
Prelinearity in (quasi-)Nelson logic. | Tommaso Flaminio, U.R.
Fuzzy Sets and Systems, 445:66-89, 2022. doi: 10.1016/j.fss.2022.03.021 | e-Spacio
Algebraizability of the Logic of Quasi-N4-Lattices | Clodomir Silva Lima Neto, Thiago Nascimento, U.R.
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.
Logics of involutive Stone algebras | Sérgio Marcelino, U.R.
Soft Computing, 2022, 26, pp. 3147–3160. Quasi-N4-lattices. Soft Computing, 26 (6), 2022, pp. 2671–2688.
2021
On Logics of Perfect Paradefinite Algebras. | Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, U.R.
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.
Quasi-Nelson algebras and fragments. | Ramon Jansana, U.R.
Mathematical Structures in Computer Science, 31, 2021, pp. 257–285. doi: 10.1017/S0960129521000049 | e-Spacio
Negation and Implication in Quasi-Nelson Logic. | Thiago Nascimento, U.R.
Logical Investigations, 27 (1), 2021, pp. 107–123.
A duality for two-sorted lattices. | Achim Jung, U.R.
Soft Computing, 25(2), 2021, pp. 851-868.
Inflationary BL-algebras obtained by 2-dimensional general overlap functions. | Rui Paiva, Regivan Santiago, Benjamín Bedregal, U.R.
Fuzzy Sets and Systems, 418(15): 64-83, 2021.
2020
Nelson's logic S | U.R., Thiago Nascimento, Matthew Spinks and João Marcos
Logic Journal of the IGPL, 28 (6), 2020, p. 1182-1206.
Quasi-Nelson; or, non-involutive Nelson algebras | U.R., Matthew Spinks
In: D. Fazio, A. Ledda, F. Paoli (eds.), Algebraic Perspectives on Substructural Logics (Trends in Logic, 55), pp. 133-168, Springer, 2020.
On the representation of (weak) nilpotent minimum algebras | U.R., Tommaso Flaminio and Thiago Nascimento
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.
Two dualities for weakly pseudo-complemented quasi-Kleene algebras. | U.R., Ramon Jansana and Thiago Nascimento
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.
Non-involutive twist-structures. | U.R., Paulo Maia and Achim Jung
Logic Journal of the IGPL (Special issue: Recovery Operators and Logics of Formal Consistency & Inconsistencies), 28 (5), 2020, pp. 973–999.
Bilattice logic of epistemic actions and knowledge. | U.R., Zeinab Bakhtiari and Hans Van Ditmarsch
Annals of Pure and Applied Logic, 171 (6), 2020. DOI: 10.1016/j.apal.2020.102790. | e-Spacio
Representation of De Morgan and (semi-)Kleene lattices. Soft Computing, 24 (12), 2020, pp. 8685-8716. DOI: 10.1007/s00500-020-04885-w. | e-Spacio
2019
Quasi-Nelson algebras. | U.R., Matthew Spinks
Electronic Notes in Theoretical Computer Science, 344 (2019), pp. 169-188.
Compatibly involutive residuated lattices and the Nelson identity. | U.R., Thiago Nascimento and Matthew Spinks
Soft Computing, 23 (7), 2019, pp. 2297-2320. | e-Spacio
Bilattice Logic Properly Displayed. | U.R., Giuseppe Greco, Fei Liang and Alessandra Palmigiano
Fuzzy Sets and Systems, 363 (2019), pp. 138-155. | e-Spacio
2018
naBL-algebras based on overlaps and their conjugates. | U.R., Rui Paiva, Regivan Santiago, Benjamín Bedregal
2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2018, DOI: 10.1109/FUZZ-IEEE.2018.8491488.
Algebraic semantics for Nelson’s logic S. | U.R., Thiago Nascimento, Matthew Spinks and João Marcos
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.
Plug and play negations. | U.R., Sérgio Marcelino and Carlos Caleiro
In W. Carnielli and J. Malinowski (eds.), Contradictions, from Consistency to Inconsistency. Trends in Logic 47, Springer (2018), pp. 307-322.
Characterizing finite-valuedness. | U.R., Sérgio Marcelino and Carlos Caleiro
Fuzzy Sets and Systems, 345 (2018), pp. 113--125. | e-Spacio
2017
An algebraic view of super-Belnap logics. | U.R., Hugo Albuquerque and Adam Přenosil
Studia Logica (Special Issue: 40 years of FDE), 105, 6 (2017), pp. 1051-1086. | e-Spacio
Locally tabular ≠ locally finite. | Sérgio Marcelino and U.R.
Logica Universalis, Special Issue: Compositional Meaning in Logic, 11 (3), 2017, pp. 383-400.
Four-valued modal logic: Kripke semantics and duality. | U.R., Achim Jung and Ramon Jansana
Journal of Logic and Computation, 27, 2017, pp. 155-199. | e-Spacio
2016
Łukasiewicz Public Announcement Logic. | U.R., Leonardo Cabrer and Ricardo Rodríguez
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
Epistemic updates on bilattices (extended abstract). | U.R. and Zeinab Bakhtiari
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. | Preprint
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. | Preprint
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. | Preprint
Dualities for modal N4-lattices. | U.R. and Ramon Jansana
Logic Journal of the IGPL, 22 (4), 2014, p. 608-637. | e-Spacio
Modal twist-structures over residuated lattices. | U.R. and Hiroakira Ono
Logic Journal of the IGPL, 22 (3), 2014, p. 440-457. | e-Spacio
Implicative twist-structures. Algebra Universalis, 71, 2, 2014, p. 155-186. | e-Spacio
2013
Priestley duality for N4-lattices. | U.R. and Ramon Jansana
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), 23, 2013, p. 223-229.
Preprint
Bilattices with implications. | U.R. and Félix Bou
Studia Logica, 101, 4 (2013), p. 651-675. | Preprint
Kripke semantics for modal bilattice logic. | U.R. and Achim Jung
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, p. 438-447, 2013.
Preprint
Nothing but the truth. | U.R. and Andreas Pietz
Journal of Philosophical Logic, 42, 1 (2013), p. 125-135. | e-Spacio
Representation of interlaced trilattices. Journal of Applied Logic, 11, 2 (2013), p. 174-189. | e-Spacio
2012
An infinity of super-Belnap logics. Journal of Applied Non-Classical Logics, 22, 4 (2012), p. 319-335. | e-Spacio
Priestley duality for bilattices. | U.R. and Achim Jung
Studia Logica, 100, 1-2 (2012), p. 223-252. | e-Spacio
Residuated bilattices. | U.R. and Ramon Jansana
Soft Computing 16 (3), 2012, p. 493-504. | e-Spacio
2011
Paraconsistent modal logics. Electronic Notes in Theoretical Computer Science, 278 (2011), p. 173-186. | Preprint
Varieties of interlaced bilattices. | U.R., Félix Bou and Ramon Jansana
Algebra Universalis, 66 (1-2), 2011, p. 115-141. | Preprint
The logic of distributive bilattices. | U.R., Félix Bou
Logic Journal of the IGPL, 19 (1), 2011, p. 183-216. | e-Spacio
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. | Preprint
What is abstract algebraic logic? Epistemologia, Rivista italiana di Filosofia della Scienza, XXXII (2009), p. 173-196. | Preprint
2008
Neutrosophic logics: prospects and problems. Fuzzy Sets and Systems, vol. 159/14 (2008). p. 1860-1868. | e-Spacio
2007
Contextual bilattices.
In Proceedings of the Doctoral Consortium of the Sixth International and Interdisciplinary Conference on Modelling and Using Context, Roskilde University, Denmark, 20-24 August 2007. | Preprint
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.