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
Locally Tabular ≠ Locally Finite
- Marcelino, S.
- Rivieccio, U.
Logica Universalis (p. 383-400) - 2017
Editor: Birkhauser Verlag AG
10.1007/s11787-017-0174-3 Ver en origen
- ISSN/ISBN 1661-8300
Fragments of Quasi-Nelson: The Algebraizable Core
- Rivieccio, U.
Logic Journal of the IGPL (p. 807-839) - 2022
Editor: Oxford University Press
10.1093/jigpal/jzab023 Ver en origen
- ISSN/ISBN 1368-9894
Nelson's logic S
- Nascimento, T.
- Rivieccio, U.
- Marcos, J.
- Spinks, M.
Logic Journal of the IGPL (p. 1182-1206) - 2020
Editor: Oxford University Press
10.1093/jigpal/jzaa015 Ver en origen
- ISSN/ISBN 1368-9894
Non-involutive twist-structures
- Rivieccio, U.
- Maia, P.
- Jung, A.
Logic Journal of the IGPL (p. 973-999) - 2020
Editor: Oxford University Press
10.1093/jigpal/jzy070 Ver en origen
- ISSN/ISBN 1368-9894
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
Modal twist-structures over residuated lattices
- Ono, H.
- Rivieccio, U.
Logic Journal of the IGPL (p. 440-457) - 2014
Editor: Oxford University Press
10.1093/jigpal/jzt043 Ver en origen
- ISSN/ISBN 1368-9894
The logic of distributive bilattices
- Bou, F.
- Rivieccio, U.
Logic Journal of the IGPL (p. 183-216) - 2011
Editor: Oxford University Press
10.1093/jigpal/jzq041 Ver en origen
- ISSN/ISBN 1368-9894
Nothing but the Truth
- Pietz, A.
- Rivieccio, U.
Journal of Philosophical Logic (p. 125-135) - 2013
Editor: Kluwer Academic Publishers
10.1007/s10992-011-9215-1 Ver en origen
- ISSN/ISBN 1573-0433
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.
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