RIVIECCIO, UMBERTO
Actividades
- Artículos 33
- Libros 0
- Capítulos de libro 2
- Congresos 13
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 0
- Patentes o licencias de software 0
A duality for two-sorted lattices
- Rivieccio, U.
- Jung, A.
Soft Computing (p. 851-868) - 2021
Editor: Springer Science and Business Media Deutschland GmbH
10.1007/s00500-020-05482-7 Ver en origen
- ISSN/ISBN 1433-7479
An Algebraic View of Super-Belnap Logics
- Albuquerque, H.
- Přenosil, A.
- Rivieccio, U.
Studia Logica (p. 1051-1086) - 2017
Editor: Springer Netherlands
10.1007/s11225-017-9739-7 Ver en origen
- ISSN/ISBN 1572-8730
An infinity of super-Belnap logics
- Rivieccio, U.
Journal of Applied Non-Classical Logics (p. 319-335) - 2012
10.1080/11663081.2012.737154 Ver en origen
- ISSN/ISBN 1166-3081
Bilattice logic of epistemic actions and knowledge
- Bakhtiari, Z.
- van Ditmarsch, H.
- Rivieccio, U.
Annals of Pure and Applied Logic - 2020
Editor: Elsevier B.V.
10.1016/j.apal.2020.102790 Ver en origen
- ISSN/ISBN 0168-0072
Bilattice logic properly displayed
- Greco, G.
- Liang, F.
- Palmigiano, A.
- Rivieccio, U.
Fuzzy Sets and Systems (p. 138-155) - 2019
Editor: Elsevier B.V.
10.1016/j.fss.2018.05.007 Ver en origen
- ISSN/ISBN 0165-0114
Bilattices with Implications
- Bou, F.
- Rivieccio, U.
Studia Logica (p. 651-675) - 2013
10.1007/s11225-013-9494-3 Ver en origen
- ISSN/ISBN 0039-3215
Characterizing finite-valuedness
- Caleiro, C.
- Marcelino, S.
- Rivieccio, U.
Fuzzy Sets and Systems (p. 113-125) - 2018
Editor: Elsevier B.V.
10.1016/j.fss.2017.10.014 Ver en origen
- ISSN/ISBN 0165-0114
Compatibly involutive residuated lattices and the Nelson identity
- Spinks, M.
- Rivieccio, U.
- Nascimento, T.
Soft Computing (p. 2297-2320) - 2019
Editor: Springer Verlag
10.1007/s00500-018-3588-9 Ver en origen
- ISSN/ISBN 1433-7479
Dualities for modal N4-lattices
- Jansana, R.
- Rivieccio, U.
Logic Journal of the IGPL (p. 608-637) - 2014
Editor: Oxford University Press
10.1093/jigpal/jzu002 Ver en origen
- ISSN/ISBN 1368-9894
Four-valued modal logic: Kripke semantics and duality
- Rivieccio, U.
- Jung, A.
- Jansana, R.
Journal of Logic and Computation (p. 155-199) - 2017
Editor: Oxford University Press
10.1093/logcom/exv038 Ver en origen
- ISSN/ISBN 1465-363X
Este/a investigador/a no tiene libros.
Plug and Play Negations
- Marcelino, S.
- Caleiro, C.
- Rivieccio, U.
Trends in Logic (p. 307-322) - 2018
Editor: Springer Science and Business Media B.V.
10.1007/978-3-319-98797-2_14 Ver en origen
- ISSN/ISBN 2212-7313
Quasi-Nelson; Or, Non-involutive Nelson Algebras
- Rivieccio, U.
- Spinks, M.
Trends in Logic (p. 133-168) - 2021
Editor: Springer Science and Business Media B.V.
10.1007/978-3-030-52163-9_8 Ver en origen
- ISSN/ISBN 2212-7313
Algebraic semantics for Nelson’s logic S
- Nascimento, T.
- Rivieccio, U.
- Marcos, J.
- Spinks, M.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 271-288) - 2018
Editor: Springer Verlag
10.1007/978-3-662-57669-4_16 Ver en origen
- ISSN/ISBN 1611-3349
Algebraizability of the Logic of Quasi-N4-Lattices
- Neto, C.S.L.
- da Silva, T.N.
- Rivieccio, U.
Electronic Proceedings in Theoretical Computer Science, EPTCS (p. 240-253) - 2022
Editor: Open Publishing Association
10.4204/eptcs.358.18 Ver en origen
- ISSN/ISBN 2075-2180
Bilattice public announcement logic
- Rivieccio, U.
Advances in Modal Logic (p. 459-477) - 2014
Editor: College Publications
- ISSN/ISBN 9781848901513
Epistemic updates on bilattices
- Bakhtiarinoodeh, Z.
- Rivieccio, U.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 426-428) - 2015
Editor: Springer Verlag
10.1007/978-3-662-48561-3_37 Ver en origen
- ISSN/ISBN 9783662485606
Kripke semantics for modal bilattice logic
- Jung, A.
- Rivieccio, U.
Proceedings - Symposium on Logic in Computer Science (p. 438-447) - 2013
10.1109/lics.2013.50 Ver en origen
- ISSN/ISBN 1043-6871
Lukasiewicz public announcement logic
- Cabrer, L.
- Rivieccio, U.
- Rodriguez, R.O.
Communications in Computer and Information Science (p. 108-122) - 2016
Editor: Springer Verlag
10.1007/978-3-319-40581-0_10 Ver en origen
- ISSN/ISBN 1865-0929
NaBL-algebras based on overlaps and their conjugates
- Paiva, R.
- Bedregal, B.
- Santiago, R.
- Rivieccio, U.
IEEE International Conference on Fuzzy Systems - 2018
Editor: Institute of Electrical and Electronics Engineers Inc.
10.1109/fuzz-ieee.2018.8491488 Ver en origen
- ISSN/ISBN 9781509060207
On Logics of Perfect Paradefinite Algebras
- Gomes, J.
- Greati, V.
- Marcelino, S.
- Marcos, J.
- Rivieccio, U.
Electronic Proceedings in Theoretical Computer Science, EPTCS (p. 56-76) - 2022
Editor: Open Publishing Association
10.4204/eptcs.357.5 Ver en origen
- ISSN/ISBN 2075-2180
On the representation of (weak) nilpotent minimum algebras
- Rivieccio, U.
- Flaminio, T.
- Nascimento, T.
IEEE International Conference on Fuzzy Systems - 2020
Editor: Institute of Electrical and Electronics Engineers Inc.
10.1109/fuzz48607.2020.9177641 Ver en origen
- ISSN/ISBN 1098-7584
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
Este/a investigador/a no tiene proyectos de investigación.
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
-
METIS
Rol: Miembro
Perfiles de investigador/a
-
ORCID
-
Dialnet id
-
Google Scholar Id