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
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
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
Residuated bilattices
- Jansana, R.
- Rivieccio, U.
Soft Computing (p. 493-504) - 2012
10.1007/s00500-011-0752-x Ver en origen
- ISSN/ISBN 1432-7643
Representation of De Morgan and (Semi-)Kleene Lattices
- Rivieccio, U.
Soft Computing (p. 8685-8716) - 2020
Editor: Springer
10.1007/s00500-020-04885-w Ver en origen
- ISSN/ISBN 1433-7479
Quasi-N4-lattices
- Rivieccio, U.
Soft Computing (p. 2671-2688) - 2022
Editor: Springer Science and Business Media Deutschland GmbH
10.1007/s00500-021-06719-9 Ver en origen
- ISSN/ISBN 1433-7479
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
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
Logics of involutive Stone algebras
- Marcelino, S.
- Rivieccio, U.
Soft Computing (p. 3147-3160) - 2022
Editor: Springer Science and Business Media Deutschland GmbH
10.1007/s00500-022-06736-2 Ver en origen
- ISSN/ISBN 1433-7479
Quasi-Nelson algebras and fragments
- Rivieccio, U.
- Jansana, R.
Mathematical Structures in Computer Science (p. 257-285) - 2021
Editor: Cambridge University Press
10.1017/s0960129521000049 Ver en origen
- ISSN/ISBN 0960-1295
Negation and implication in quasi-nelson logic
- Nascimento, T.
- Rivieccio, U.
Logical Investigations (p. 107-123) - 2021
Editor: Institute of Philosophy, Russian Academy of Sciences
10.21146/2074-1472-2021-27-1-107-123 Ver en origen
- ISSN/ISBN 2413-2713
Este/a investigador/a no tiene libros.
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
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
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
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
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 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
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
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
Quasi-Nelson Algebras
- Rivieccio, U.
- Spinks, M.
Electronic Notes in Theoretical Computer Science (p. 169-188) - 2019
Editor: Elsevier B.V.
10.1016/j.entcs.2019.07.011 Ver en origen
- ISSN/ISBN 1571-0661
Paraconsistent modal logics
- Rivieccio, U.
Electronic Notes in Theoretical Computer Science (p. 173-186) - 2011
10.1016/j.entcs.2011.10.014 Ver en origen
- ISSN/ISBN 1571-0661
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
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