Umberto Rivieccio

Assistant Professor at the DIMAp (UFRN)

Umberto Rivieccio_Applied Logic TU Delft

urivieccio@dimap.ufrn.br |
Google site | academia.edu | LinkedIn | CV.pdf

PUBLICATIONS
2015
Articles in refereed conference proceedings
> Z. Bakhtiari, U. Rivieccio, Epistemic Updates on Bilattices, Proceedings of the Fifth International Workshop on Logic, Rationality and Interaction - LORI, LNCS 9394, pp. 426-8 (2015).
Paper.pdf

2014
International journals
> R. Jansana, U. Rivieccio, Dualities for Modal N4-Lattices, Logic Journal of the IGPL, http://jigpal.oxfordjournals.org/content/early/2014/03/19/jigpal.jzu002.full.pdf+html (2014).
Paper.pdf

> U. Rivieccio, Implicative Twist-structures, 71(2):155-185, Algebra Universalis (2014).
Paper.pdf

> H. Ono, U. Rivieccio, Modal Twist-structures Over Residuated Lattices, DOI 10.1093/jigpal/jzt043, Logic Journal of the IGPL (2013).
Paper.pdf

Articles in refereed conference proceedings

> U. Rivieccio, Bilattice Public Announcement Logic, Proc. AiML 10 (2014).
Paper.pdf

> U. Rivieccio, Algebraic Semantics for Bilattice Public Announcement Logic, Studia Logica, Proc. Trends in Logic XIII, Springer (2014).
Paper.pdf

2013
> R. Jansana, U. Rivieccio, Priestley Duality for N4-lattices, Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), 23:223-229 (2013).
Paper.pdf

> A. Jung, U. Rivieccio, Kripke Semantics for Modal Bilattice Logic (extended abstract), Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. 438-447, 2013.
Paper.pdf

> A. Pietz, U. Rivieccio, Nothing but the Truth, Journal of Philosophical Logic, 42, 1 (2013), p. 125-135.
Paper.pdf

> F. Bou, U. Rivieccio, Bilattices With Implications, Studia Logica, 101, 4 (2013), p. 651-675.
Paper.pdf

> U. Rivieccio, Representation of Interlaced Trilattices, Journal of Applied Logic, 2013, 11, 2 (2013), p. 174-189.
Paper.pdf

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

> A. Jung, U. Rivieccio, Priestley Duality for Bilattices, Studia Logica, 100, 1-2 (2012), p. 223-252.
Paper.pdf

> R. Jansana, U. Rivieccio, Residuated Bilattices, Soft Computing, 16 (3), 2012, p. 493-504.
Paper.pdf

2011
> U. Rivieccio, Paraconsistent modal logics, Electronic Notes in Theoretical Computer Science, 278 (2011), p. 173-186.
Paper.pdf

> F. Bou, R. Jansana. U. Rivieccio, Varieties of Interlaced Bilattices, Algebra Universalis, 66 (1-2), 2011, p. 115-141.
Paper.pdf

> F. Bou, U. Rivieccio, The Logic of Distributive Bilattices, Logic Journal of the IGPL, 19 (1), 2011, p. 183-216.
Paper.pdf

2010
> U. Rivieccio, 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.
Paper.pdf

2009
> U. Rivieccio, What Is Abstract Algebraic Logic?, Epistemologia, Rivista italiana di Filosofia della Scienza, XXXII (2009), pp. 173-196.
Paper.pdf

2008
> U. Rivieccio, Neutrosophic Logics: Prospects and Problems, Fuzzy Sets and Systems, vol. 159/14 (2008), pp. 1860-1868.
Paper.pdf

2007
> U. Rivieccio, Contextual Bilattices, 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.
Paper.pdf

2005
> U. Rivieccio, Logiche Polivalenti per l’Intelligenza Artificiale: il Sistema di Ginsberg, Epistemologia, Rivista italiana di Filosofia della Scienza, XXVIII (2005), pp. 25-44.
Paper.pdf

WORKING PAPERS
Bilattices
> Z. Bakhtiari, U. Rivieccio, Bilattice Dynamic Epistemic Logic, in preparation.

Substructural logics
> U. Rivieccio, R. Rodríguez, Łukasiewicz Public Announcement Logic, in preparation.