RIVIECCIO, UMBERTO

Actividades

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

Prelinearity in (quasi-)Nelson logic

  • Flaminio, T.
  • Rivieccio, U.

Fuzzy Sets and Systems (p. 66-89) - 2022

Editor: Elsevier B.V.

10.1016/j.fss.2022.03.021 Ver en origen

  • ISSN/ISBN 0165-0114

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

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

Inflationary BL-algebras obtained from 2-dimensional general overlap functions

  • Paiva, R.
  • Santiago, R.
  • Bedregal, B.
  • Rivieccio, U.

Fuzzy Sets and Systems (p. 64-83) - 2021

Editor: Elsevier B.V.

10.1016/j.fss.2020.12.018 Ver en origen

  • ISSN/ISBN 0165-0114

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

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

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

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

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

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

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