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

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

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 Ver en origen

  • 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 Ver en origen

  • ISSN/ISBN 2075-2180

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

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

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

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 Ver en origen

  • ISSN/ISBN 1611-3349

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

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

Bilattice public announcement logic

  • Rivieccio, U.

Advances in Modal Logic (p. 459-477) - 2014

Editor: College Publications

  • ISSN/ISBN 9781848901513

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