RIVIECCIO, UMBERTO

Actividades

Fragments of quasi-nelson: Two negations

  • Rivieccio, U.

Journal of Applied Logics (p. 499-559) - 2020

Editor: College Publications

  • ISSN/ISBN 2631-9829

Fragments of quasi-Nelson: residuation

  • Rivieccio, U.

Journal of Applied Non-Classical Logics - 2023

Editor: Taylor and Francis Ltd.

10.1080/11663081.2023.2203312 Ver en origen

  • ISSN/ISBN 1958-5780

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

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

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

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

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

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

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

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

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

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

Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras

  • Rivieccio, U.
  • Jansana, R.
  • Nascimento, T.

Communications in Computer and Information Science (p. 634-653) - 2020

Editor: Springer

10.1007/978-3-030-50153-2_47 Ver en origen

  • ISSN/ISBN 1865-0937

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

Priestley duality for N4-lattices

  • Jung, A.
  • Rivieccio, U.

8th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2013 - Advances in Intelligent Systems Research (p. 223-229) - 2013

Editor: Atlantis Press

10.2991/eusflat.2013.38 Ver en origen

  • ISSN/ISBN 0039-3215

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

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

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

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

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

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

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

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.

Última actualización de los datos: 24/07/23 17:36