UMBERTO
RIVIECCIO
Profesor Ayudante Doctor
Publicaciones (56) Publicaciones de UMBERTO RIVIECCIO
2024
-
Finite Hilbert Systems for Weak Kleene Logics
Studia Logica
-
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity
Studia Logica
-
Nelson algebras, residuated lattices and rough sets: A survey
Journal of Applied Non-Classical Logics, Vol. 34, Núm. 2-3, pp. 368-428
-
Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics
Outstanding Contributions to Logic (Springer Science and Business Media B.V.), pp. 345-375
2023
-
Finite axiomatizability of logics of distributive lattices with negation
Logic Journal of the IGPL, Vol. 31, Núm. 3, pp. 510-533
-
Fragments of quasi-Nelson: residuation
Journal of Applied Non-Classical Logics, Vol. 33, Núm. 1, pp. 52-119
-
Intuitionistic Modal Algebras
Studia Logica
-
The Value of the One Value: Exactly True Logic revisited
Journal of Philosophical Logic, Vol. 52, Núm. 5, pp. 1417-1444
2022
-
Algebraizability of the Logic of Quasi-N4-Lattices
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Fragments of Quasi-Nelson: The Algebraizable Core
Logic Journal of the IGPL, Vol. 30, Núm. 5, pp. 807-839
-
Logics of involutive Stone algebras
Soft Computing, Vol. 26, Núm. 7, pp. 3147-3160
-
On Logics of Perfect Paradefinite Algebras
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Prelinearity in (quasi-)Nelson logic
Fuzzy Sets and Systems, Vol. 445, pp. 66-89
-
Quasi-N4-lattices
Soft Computing, Vol. 26, Núm. 6, pp. 2671-2688
2021
-
A duality for two-sorted lattices
Soft Computing, Vol. 25, Núm. 2, pp. 851-868
-
Inflationary BL-Algebras Obtained from 2-Dimensional General Overlap Functions
Fuzzy Sets and Systems, Vol. 418, pp. 64-83
-
Negation and Implication in Quasi-Nelson Logic
Logical Investigations, Vol. 27, Núm. 1, pp. 107-123
-
Quasi-Nelson algebras and fragments
Mathematical Structures in Computer Science, Vol. 31, Núm. 3, pp. 257-285
-
Quasi-Nelson; Or, Non-involutive Nelson Algebras
Trends in Logic (Springer Science and Business Media B.V.), pp. 133-168
2020
-
Bilattice logic of epistemic actions and knowledge
Annals of Pure and Applied Logic, Vol. 171, Núm. 6