RDF/XML JSON-LD N3/Turtle RDF/JSON

RIVIECCIO, UMBERTO

LÓGICA, HISTORIA Y F.ª DE LA CIENCIA / Universidad Nacional de Educación a Distancia

Publications

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

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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • ISSN/ISBN 1368-9894

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

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 View at source

  • 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 View at source

  • ISSN/ISBN 1571-0661

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