Umberto Rivieccio

According to our database, Umberto Rivieccio authored at least 51 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Nelson algebras, residuated lattices and rough sets: A survey.

Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio

CoRR, 2024

Generating proof systems for three-valued propositional logics.

Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio

CoRR, 2024

Finite Hilbert systems for Weak Kleene logics.

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio

CoRR, 2024

2023

The Value of the One Value: Exactly True Logic revisited.

Andreas Kapsner, Umberto Rivieccio

J. Philos. Log., October, 2023

Finite axiomatizability of logics of distributive lattices with negation.

Sérgio Marcelino, Umberto Rivieccio

Log. J. IGPL, May, 2023

Fragments of quasi-Nelson: residuation.

Umberto Rivieccio

J. Appl. Non Class. Logics, January, 2023

Some more theorems on structural entailment relations and non-deterministic semantics.

Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio

CoRR, 2023

Adding an Implication to Logics of Perfect Paradefinite Algebras.

Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio

CoRR, 2023

2022

Quasi-N4-lattices.

Umberto Rivieccio

Soft Comput., 2022

Logics of involutive Stone algebras.

Sérgio Marcelino, Umberto Rivieccio

Soft Comput., 2022

Fragments of Quasi-Nelson: The Algebraizable Core.

Umberto Rivieccio

Log. J. IGPL, 2022

Prelinearity in (quasi-)Nelson logic.

Tommaso Flaminio, Umberto Rivieccio

Fuzzy Sets Syst., 2022

Algebraizability of the Logic of Quasi-N4-Lattices.

Clodomir Silva Lima Neto, Thiago Nascimento da Silva, Umberto Rivieccio

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

2021

A duality for two-sorted lattices.

Umberto Rivieccio, Achim Jung

Soft Comput., 2021

Quasi-Nelson algebras and fragments.

Umberto Rivieccio, Ramon Jansana

Math. Struct. Comput. Sci., 2021

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

Rui Paiva, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Umberto Rivieccio

Fuzzy Sets Syst., 2021

On Logics of Perfect Paradefinite Algebras.

Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

2020

Representation of De Morgan and (Semi-)Kleene Lattices.

Umberto Rivieccio

Soft Comput., 2020

Non-involutive twist-structures.

Umberto Rivieccio, Paulo Maia, Achim Jung

Log. J. IGPL, 2020

Nelson's logic ℒ.

Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks

Log. J. IGPL, 2020

Fragments of Quasi-Nelson: Two Negations.

Umberto Rivieccio

FLAP, 2020

Bilattice logic of epistemic actions and knowledge.

Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio

Ann. Pure Appl. Log., 2020

Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras.

Umberto Rivieccio, Ramon Jansana, Thiago Nascimento

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

On the representation of (weak) nilpotent minimum algebras.

Umberto Rivieccio, Tommaso Flaminio, Thiago Nascimento

Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019

Compatibly involutive residuated lattices and the Nelson identity.

Matthew Spinks, Umberto Rivieccio, Thiago Nascimento

Soft Comput., 2019

Bilattice logic properly displayed.

Giuseppe Greco, Fei Liang, Alessandra Palmigiano, Umberto Rivieccio

Fuzzy Sets Syst., 2019

2018

Characterizing finite-valuedness.

Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio

Fuzzy Sets Syst., 2018

Quasi-Nelson Algebras.

Umberto Rivieccio, Matthew Spinks

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

Algebraic Semantics for Nelson's Logic <i>S</i> S.

Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks

Proceedings of the Logic, Language, Information, and Computation, 2018

naBL-algebras based on overlaps and their conjugates.

Rui Paiva, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Umberto Rivieccio

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

2017

An Algebraic View of Super-Belnap Logics.

Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio

Stud Logica, 2017

Locally Tabular \(\ne \) Locally Finite.

Sérgio Marcelino, Umberto Rivieccio

Logica Universalis, 2017

Four-valued modal logic: Kripke semantics and duality.

Umberto Rivieccio, Achim Jung, Ramon Jansana

J. Log. Comput., 2017

2016

Łukasiewicz Public Announcement Logic.

Leonardo Cabrer, Umberto Rivieccio, Ricardo Oscar Rodríguez

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

2015

Epistemic Updates on Bilattices.

Zeinab Bakhtiarinoodeh, Umberto Rivieccio

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2014

Modal twist-structures over residuated lattices.

Hiroakira Ono, Umberto Rivieccio

Log. J. IGPL, 2014

Dualities for modal N4-lattices.

Ramon Jansana, Umberto Rivieccio

Log. J. IGPL, 2014

Bilattice Public Announcement Logic.

Umberto Rivieccio

Proceedings of the Advances in Modal Logic 10, 2014

2013

Bilattices with Implications.

Félix Bou, Umberto Rivieccio

Stud Logica, 2013

Nothing but the Truth.

Andreas Pietz, Umberto Rivieccio

J. Philos. Log., 2013

Representation of interlaced trilattices.

Umberto Rivieccio

J. Appl. Log., 2013

Four-valued modal logic: Kripke semantics and duality.

Achim Jung, Umberto Rivieccio

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Priestley duality for (modal) N4-lattices.

Ramon Jansana, Umberto Rivieccio

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Kripke Semantics for Modal Bilattice Logic.

Achim Jung, Umberto Rivieccio

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Priestley duality for N4-lattices.

Ramon Jansana, Umberto Rivieccio

Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

2012

Residuated bilattices.

Ramon Jansana, Umberto Rivieccio

Soft Comput., 2012

Priestley Duality for Bilattices.

Achim Jung, Umberto Rivieccio

Stud Logica, 2012

An infinity of super-Belnap logics.

Umberto Rivieccio

J. Appl. Non Class. Logics, 2012

2011

The logic of distributive bilattices.

Félix Bou, Umberto Rivieccio

Log. J. IGPL, 2011

Paraconsistent Modal Logics.

Umberto Rivieccio

Proceedings of the 7th Workshop on Methods for Modalities, 2011

2008

Neutrosophic logics: Prospects and problems.

Umberto Rivieccio

Fuzzy Sets Syst., 2008