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

Quantum logics in cognition: A proposal

  • Fernández Cuesta, José Alejandro
  • Piazzai, Michele
  • Rivieccio, Umberto

Synthese - 2025

10.1007/s11229-025-05090-8 Ver en origen

  • ISSN/ISBN 1573-0964

The algebra of ordinary discourse. On the semantics of Cooper’s logic

  • Rivieccio,U.

Archive for Mathematical Logic (p. 795-817) - 1/07/2025

Editor: Springer Science and Business Media Deutschland GmbH

10.1007/s00153-024-00961-2 Ver en origen

  • ISSN/ISBN 1432-0665

Nelson algebras, residuated lattices and rough sets: A survey

  • Järvinen, J.
  • Radeleczki, S.
  • Rivieccio, U.

Journal of Applied Non-Classical Logics (p. 368-428) - 2024

Editor: Taylor and Francis Ltd.

10.1080/11663081.2024.2336386 Ver en origen

  • ISSN/ISBN 1958-5780

Finite Hilbert Systems for Weak Kleene Logics

  • Greati, V.
  • Marcelino, S.
  • Rivieccio, U.

Studia Logica (p. 1215-1241) - 1/12/2024

Editor: Springer Science and Business Media B.V.

10.1007/s11225-023-10079-w Ver en origen

  • ISSN/ISBN 1572-8730

Adding an implication to logics of perfect paradefinite algebras

  • Greati, V.
  • Marcelino, S.
  • Marcos, J.
  • Rivieccio, U.

Mathematical Structures in Computer Science (p. 1138-1183) - 1/11/2024

Editor: Cambridge University Press

10.1017/s0960129524000227 Ver en origen

  • ISSN/ISBN 0960-1295

Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity

  • Rivieccio, U.
  • Busaniche, M.

Studia Logica (p. 1123-1161) - 1/10/2024

Editor: Springer Science and Business Media B.V.

10.1007/s11225-023-10088-9 Ver en origen

  • ISSN/ISBN 1572-8730

Intuitionistic Modal Algebras

  • Celani, S.A.
  • Rivieccio, U.

Studia Logica (p. 611-660) - 1/06/2024

Editor: Springer Science and Business Media B.V.

10.1007/s11225-023-10065-2 Ver en origen

  • ISSN/ISBN 1572-8730

Fragments of quasi-Nelson: residuation

  • Rivieccio, U.

Journal of Applied Non-Classical Logics (p. 52-119) - 2023

Editor: Taylor and Francis Ltd.

10.1080/11663081.2023.2203312 Ver en origen

  • ISSN/ISBN 1958-5780

The Value of the One Value: Exactly True Logic revisited

  • Kapsner, A.
  • Rivieccio, U.

Journal of Philosophical Logic (p. 1417-1444) - 1/10/2023

Editor: Springer Science and Business Media B.V.

10.1007/s10992-023-09711-w Ver en origen

  • ISSN/ISBN 1573-0433

Finite axiomatizability of logics of distributive lattices with negation

  • Marcelino, S.
  • Rivieccio, U.

Logic Journal of the IGPL (p. 510-533) - 1/06/2023

Editor: Oxford University Press

10.1093/jigpal/jzac043 Ver en origen

  • ISSN/ISBN 1368-9894

Este/a investigador/a no tiene libros.

Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics

  • Caleiro, C.
  • Marcelino, S.
  • Rivieccio, U.

Outstanding Contributions to Logic (p. 345-375) - 2024

Editor: Springer Science and Business Media B.V.

10.1007/978-3-031-44490-6_12 Ver en origen

  • ISSN/ISBN 2211-2766

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

Indicative Conditionals: Some Algebraic Considerations

  • Rivieccio,U.
  • Muñoz Pérez,M.

Lecture Notes in Computer Science (p. 119-140) - 2026

Editor: Springer Science and Business Media Deutschland GmbH

10.1007/978-3-031-99536-1_8 Ver en origen

  • ISSN/ISBN 1611-3349

Axiomatizing the Logic of Ordinary Discourse

  • Greati,V.
  • Marcelino,S.
  • Rivieccio,U.

Lecture Notes in Networks and Systems (p. 390-405) - 2025

Editor: Springer Science and Business Media Deutschland GmbH

10.1007/978-3-031-74000-8_32 Ver en origen

  • ISSN/ISBN 9783031739996

(In)consistency Operators on Quasi-Nelson Algebras

  • Rivieccio, U.
  • Figallo-Orellano, A.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 175-192) - 2024

Editor: Springer Science and Business Media Deutschland GmbH

10.1007/978-3-031-62687-6_12 Ver en origen

  • ISSN/ISBN 1611-3349

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) - 14/04/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) - 8/04/2022

Editor: Open Publishing Association

10.4204/eptcs.357.5 Ver en origen

  • ISSN/ISBN 2075-2180

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

On the representation of (weak) nilpotent minimum algebras

  • Rivieccio, U.
  • Flaminio, T.
  • Nascimento, T.

IEEE International Conference on Fuzzy Systems - 1/07/2020

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/fuzz48607.2020.9177641 Ver en origen

  • ISSN/ISBN 1098-7584

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

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

NaBL-algebras based on overlaps and their conjugates

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

IEEE International Conference on Fuzzy Systems - 12/10/2018

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/fuzz-ieee.2018.8491488 Ver en origen

  • ISSN/ISBN 9781509060207

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: 9/11/25 11:35