RIVIECCIO, UMBERTO

Publications

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

Fragments of quasi-Nelson: residuation

  • Rivieccio, U.

Journal of Applied Non-Classical Logics - 2023

Editor: Taylor and Francis Ltd.

10.1080/11663081.2023.2203312 View at source

  • ISSN/ISBN 1958-5780

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

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 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.

Last data update: 7/24/23 5:36 PM