Umberto Rivieccio

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 40

Top Topics

Dempster Shafer

Horizontal Fragmentation

Top Venues

Fuzzy Sets Syst.

Publications

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
Axiomatizing the Logic of Ordinary Discourse. CoRR (2024)
Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio
Generating proof systems for three-valued propositional logics. CoRR (2024)
Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio
Nelson algebras, residuated lattices and rough sets: A survey. CoRR (2024)
Sergio A. Celani, Umberto Rivieccio
Intuitionistic Modal Algebras. Stud Logica 112 (3) (2024)
Umberto Rivieccio, Aldo Figallo Orellano
(In)consistency Operators on Quasi-Nelson Algebras. WoLLIC (2024)
Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio
Nelson algebras, residuated lattices and rough sets: A survey. J. Appl. Non Class. Logics 34 (2-3) (2024)
Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
Finite Hilbert systems for Weak Kleene logics. CoRR (2024)
Sérgio Marcelino, Umberto Rivieccio
Finite axiomatizability of logics of distributive lattices with negation. Log. J. IGPL 31 (3) (2023)
Umberto Rivieccio
Fragments of quasi-Nelson: residuation. J. Appl. Non Class. Logics 33 (1) (2023)
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
Some more theorems on structural entailment relations and non-deterministic semantics. CoRR (2023)
Andreas Kapsner, Umberto Rivieccio
The Value of the One Value: Exactly True Logic revisited. J. Philos. Log. 52 (5) (2023)
Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
Adding an Implication to Logics of Perfect Paradefinite Algebras. CoRR (2023)
Umberto Rivieccio
Quasi-N4-lattices. Soft Comput. 26 (6) (2022)
Umberto Rivieccio
Fragments of Quasi-Nelson: The Algebraizable Core. Log. J. IGPL 30 (5) (2022)
Tommaso Flaminio, Umberto Rivieccio
Prelinearity in (quasi-)Nelson logic. Fuzzy Sets Syst. 445 (2022)
Sérgio Marcelino, Umberto Rivieccio
Logics of involutive Stone algebras. Soft Comput. 26 (7) (2022)
Clodomir Silva Lima Neto, Thiago Nascimento da Silva, Umberto Rivieccio
Algebraizability of the Logic of Quasi-N4-Lattices. NCL (2022)
Rui Paiva, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Umberto Rivieccio
Inflationary BL-algebras obtained from 2-dimensional general overlap functions. Fuzzy Sets Syst. 418 (2021)
Umberto Rivieccio, Ramon Jansana
Quasi-Nelson algebras and fragments. Math. Struct. Comput. Sci. 31 (3) (2021)
Sérgio Marcelino, Umberto Rivieccio
Finite axiomatizability of logics of distributive lattices with negation. CoRR (2021)
Umberto Rivieccio, Achim Jung
A duality for two-sorted lattices. Soft Comput. 25 (2) (2021)
Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
On Logics of Perfect Paradefinite Algebras. CoRR (2021)
Sérgio Marcelino, Umberto Rivieccio
Logics of involutive Stone algebras. CoRR (2021)
Umberto Rivieccio
Representation of De Morgan and (Semi-)Kleene Lattices. Soft Comput. 24 (12) (2020)
Umberto Rivieccio, Tommaso Flaminio, Thiago Nascimento
On the representation of (weak) nilpotent minimum algebras. FUZZ-IEEE (2020)
Umberto Rivieccio, Paulo Maia, Achim Jung
Non-involutive twist-structures. Log. J. IGPL 28 (5) (2020)
Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
Nelson's logic ℒ. Log. J. IGPL 28 (6) (2020)
Umberto Rivieccio
Fragments of Quasi-Nelson: Two Negations. FLAP 7 (4) (2020)
Umberto Rivieccio, Ramon Jansana, Thiago Nascimento
Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras. IPMU (3) (2020)
Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio
Bilattice logic of epistemic actions and knowledge. Ann. Pure Appl. Log. 171 (6) (2020)
Giuseppe Greco, Fei Liang, Alessandra Palmigiano, Umberto Rivieccio
Bilattice logic properly displayed. Fuzzy Sets Syst. 363 (2019)
Matthew Spinks, Umberto Rivieccio, Thiago Nascimento
Compatibly involutive residuated lattices and the Nelson identity. Soft Comput. 23 (7) (2019)
Rui Paiva, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Umberto Rivieccio
naBL-algebras based on overlaps and their conjugates. FUZZ-IEEE (2018)
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
Characterizing finite-valuedness. Fuzzy Sets Syst. 345 (2018)
Umberto Rivieccio, Matthew Spinks
Quasi-Nelson Algebras. LSFA (2018)
Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
S. WoLLIC (2018)
Umberto Rivieccio, Achim Jung, Ramon Jansana
Four-valued modal logic: Kripke semantics and duality. J. Log. Comput. 27 (1) (2017)
Sérgio Marcelino, Umberto Rivieccio
Locally Tabular \(\ne \) Locally Finite. Logica Universalis 11 (3) (2017)
Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio
An Algebraic View of Super-Belnap Logics. Stud Logica 105 (6) (2017)
Leonardo Cabrer, Umberto Rivieccio, Ricardo Oscar Rodríguez
Łukasiewicz Public Announcement Logic. IPMU (2) (2016)
Zeinab Bakhtiarinoodeh, Umberto Rivieccio
Epistemic Updates on Bilattices. LORI (2015)
Ramon Jansana, Umberto Rivieccio
Dualities for modal N4-lattices. Log. J. IGPL 22 (4) (2014)
Hiroakira Ono, Umberto Rivieccio
Modal twist-structures over residuated lattices. Log. J. IGPL 22 (3) (2014)
Umberto Rivieccio
Bilattice Public Announcement Logic. Advances in Modal Logic (2014)
Ramon Jansana, Umberto Rivieccio
Priestley duality for N4-lattices. EUSFLAT Conf. (2013)
Umberto Rivieccio
Representation of interlaced trilattices. J. Appl. Log. 11 (2) (2013)
Félix Bou, Umberto Rivieccio
Bilattices with Implications. Stud Logica 101 (4) (2013)
Achim Jung, Umberto Rivieccio
Four-valued modal logic: Kripke semantics and duality. TACL (2013)
Ramon Jansana, Umberto Rivieccio
Priestley duality for (modal) N4-lattices. TACL (2013)
Achim Jung, Umberto Rivieccio
Kripke Semantics for Modal Bilattice Logic. LICS (2013)
Andreas Pietz, Umberto Rivieccio
Nothing but the Truth. J. Philos. Log. 42 (1) (2013)
Umberto Rivieccio
An infinity of super-Belnap logics. J. Appl. Non Class. Logics 22 (4) (2012)
Ramon Jansana, Umberto Rivieccio
Residuated bilattices. Soft Comput. 16 (3) (2012)
Achim Jung, Umberto Rivieccio
Priestley Duality for Bilattices. Stud Logica 100 (1-2) (2012)
Félix Bou, Umberto Rivieccio
The logic of distributive bilattices. Log. J. IGPL 19 (1) (2011)
Umberto Rivieccio
Paraconsistent Modal Logics. Electron. Notes Theor. Comput. Sci. 278 (2011)
Umberto Rivieccio
Neutrosophic logics: Prospects and problems. Fuzzy Sets Syst. 159 (14) (2008)