Umberto Rivieccio
Título
Citado por
Citado por
Ano
Neutrosophic logics: Prospects and problems
U Rivieccio
Fuzzy sets and systems 159 (14), 1860-1868, 2008
1552008
Nothing but the truth
A Pietz, U Rivieccio
Journal of philosophical logic 42 (1), 125-135, 2013
522013
An algebraic study of bilattice-based logics
U Rivieccio
arXiv preprint arXiv:1010.2552, 2010
382010
The logic of distributive bilattices
F Bou, U Rivieccio
Logic Journal of IGPL 19 (1), 183-216, 2011
372011
Varieties of interlaced bilattices
F Bou, R Jansana, U Rivieccio
Algebra universalis 66 (1), 115-141, 2011
342011
Kripke semantics for modal bilattice logic
A Jung, U Rivieccio
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 438-447, 2013
302013
Four-valued modal logic: Kripke semantics and duality
U Rivieccio, A Jung, R Jansana
Journal of Logic and Computation 27 (1), 155-199, 2017
292017
An infinity of super-Belnap logics
U Rivieccio
Journal of Applied Non-Classical Logics 22 (4), 319-335, 2012
232012
Paraconsistent modal logics
U Rivieccio
Electronic Notes in Theoretical Computer Science 278, 173-186, 2011
212011
Implicative twist-structures
U Rivieccio
Algebra universalis 71 (2), 155-186, 2014
192014
Bilattice Public Announcement Logic.
U Rivieccio
Advances in modal logic 10, 459-477, 2014
192014
Bilattice logic properly displayed
G Greco, F Liang, A Palmigiano, U Rivieccio
Fuzzy Sets and Systems 363, 138-155, 2019
182019
Priestley duality for bilattices
A Jung, U Rivieccio
Studia Logica 100 (1-2), 223-252, 2012
182012
An algebraic view of super-Belnap logics
H Albuquerque, A Přenosil, U Rivieccio
Studia Logica 105 (6), 1051-1086, 2017
152017
Algebraic semantics for bilattice public announcement logic
U Rivieccio
Studia Logica, Proc. Trends in Logic XIII, Springer, 2014
122014
Residuated bilattices
R Jansana, U Rivieccio
Soft Computing 16 (3), 493-504, 2012
122012
Dualities for modal N4-lattices
R Jansana, U Rivieccio
Logic Journal of the IGPL 22 (4), 608-637, 2014
112014
Quasi-Nelson algebras
U Rivieccio, M Spinks
Electronic Notes in Theoretical Computer Science 344, 169-188, 2019
102019
Characterizing finite-valuedness
C Caleiro, S Marcelino, U Rivieccio
Fuzzy Sets and Systems 345, 113-125, 2018
102018
Representation of interlaced trilattices
U Rivieccio
Journal of Applied Logic 11 (2), 174-189, 2013
102013
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20