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

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

  • ISSN/ISBN 1368-9894

Representation of De Morgan and (Semi-)Kleene Lattices

  • Rivieccio, U.

Soft Computing (p. 8685-8716) - 2020

Editor: Springer

10.1007/s00500-020-04885-w Ver en origen

  • ISSN/ISBN 1433-7479

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

Fragments of quasi-nelson: Two negations

  • Rivieccio, U.

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

Editor: College Publications

  • ISSN/ISBN 2631-9829

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

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

An Algebraic View of Super-Belnap Logics

  • Albuquerque, H.
  • Přenosil, A.
  • Rivieccio, U.

Studia Logica (p. 1051-1086) - 2017

Editor: Springer Netherlands

10.1007/s11225-017-9739-7 Ver en origen

  • ISSN/ISBN 1572-8730

Locally Tabular ≠ Locally Finite

  • Marcelino, S.
  • Rivieccio, U.

Logica Universalis (p. 383-400) - 2017

Editor: Birkhauser Verlag AG

10.1007/s11787-017-0174-3 Ver en origen

  • ISSN/ISBN 1661-8300

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

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