RIVIECCIO, UMBERTO
Publications
- Articles 33
- Books 0
- Book chapters 2
- Conferences 13
- Working papers 0
- Technical reports 0
- Research projects 0
- Supervised theses 0
- Patent or software license 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- ISSN/ISBN 1465-363X
This researcher has no books.
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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- ISSN/ISBN 1865-0929
This researcher has no working papers.
This researcher has no technical reports.
This researcher has no research projects.
This researcher has no supervised thesis.
This researcher has no patents or software licenses.
Research groups
-
METIS
Role: Miembro
Researcher profiles
-
ORCID
-
Dialnet id
-
Google Scholar Id