Umberto Rivieccio

63 papers A* 1B 4C 3Journal 45Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Analytic Calculi for Logics of Indicative Conditionals. TABLEAUX Vitor Greati, Sérgio Marcelino, Miguel Muñoz Pérez, Umberto Rivieccio
2025	C	`conf`	Indicative Conditionals: Some Algebraic Considerations. WoLLIC Umberto Rivieccio, Miguel Muñoz Pérez
2025	J	`jnl`	The algebra of ordinary discourse. On the semantics of Cooper's logic. Arch. Math. Log. Umberto Rivieccio
2024	C	`conf`	(In)consistency Operators on Quasi-Nelson Algebras. WoLLIC Umberto Rivieccio, Aldo Figallo Orellano
2024	J	`jnl`	Adding an implication to logics of perfect paradefinite algebras. Math. Struct. Comput. Sci. Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2024	J	`jnl`	Axiomatizing the Logic of Ordinary Discourse. CoRR Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
2024	J	`jnl`	Finite Hilbert Systems for Weak Kleene Logics. Stud Logica Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
2024	J	`jnl`	Finite Hilbert systems for Weak Kleene logics. CoRR Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
2024	J	`jnl`	Generating proof systems for three-valued propositional logics. CoRR Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio
2024	J	`jnl`	Intuitionistic Modal Algebras. Stud Logica Sergio A. Celani, Umberto Rivieccio
2024	J	`jnl`	Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity. Stud Logica Umberto Rivieccio, Manuela Busaniche
2024	J	`jnl`	Nelson algebras, residuated lattices and rough sets: A survey. CoRR Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio
2024	J	`jnl`	Nelson algebras, residuated lattices and rough sets: A survey. J. Appl. Non Class. Logics Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio
2023	J	`jnl`	Adding an Implication to Logics of Perfect Paradefinite Algebras. CoRR Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2023	J	`jnl`	Finite axiomatizability of logics of distributive lattices with negation. Log. J. IGPL Sérgio Marcelino, Umberto Rivieccio
2023	J	`jnl`	Fragments of quasi-Nelson: residuation. J. Appl. Non Class. Logics Umberto Rivieccio
2023	J	`jnl`	Some more theorems on structural entailment relations and non-deterministic semantics. CoRR Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
2023	J	`jnl`	The Value of the One Value: Exactly True Logic revisited. J. Philos. Log. Andreas Kapsner, Umberto Rivieccio
2022	—	`conf`	Algebraizability of the Logic of Quasi-N4-Lattices. NCL Clodomir Silva Lima Neto, Thiago Nascimento da Silva, Umberto Rivieccio
2022	J	`jnl`	Fragments of Quasi-Nelson: The Algebraizable Core. Log. J. IGPL Umberto Rivieccio
2022	J	`jnl`	Logics of involutive Stone algebras. Soft Comput. Sérgio Marcelino, Umberto Rivieccio
2022	J	`jnl`	Prelinearity in (quasi-)Nelson logic. Fuzzy Sets Syst. Tommaso Flaminio, Umberto Rivieccio
2022	J	`jnl`	Quasi-N4-lattices. Soft Comput. Umberto Rivieccio
2021	J	`jnl`	A duality for two-sorted lattices. Soft Comput. Umberto Rivieccio, Achim Jung
2021	J	`jnl`	Finite axiomatizability of logics of distributive lattices with negation. CoRR Sérgio Marcelino, Umberto Rivieccio
2021	J	`jnl`	Inflationary BL-algebras obtained from 2-dimensional general overlap functions. Fuzzy Sets Syst. Rui Paiva, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Umberto Rivieccio
2021	J	`jnl`	Logics of involutive Stone algebras. CoRR Sérgio Marcelino, Umberto Rivieccio
2021	—	`conf`	On Logics of Perfect Paradefinite Algebras. LSFA Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2021	J	`jnl`	Quasi-Nelson algebras and fragments. Math. Struct. Comput. Sci. Umberto Rivieccio, Ramon Jansana
2020	J	`jnl`	Bilattice logic of epistemic actions and knowledge. Ann. Pure Appl. Log. Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio
2020	J	`jnl`	Fragments of Quasi-Nelson: Two Negations. FLAP Umberto Rivieccio
2020	J	`jnl`	Nelson's logic ℒ. Log. J. IGPL Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
2020	J	`jnl`	Non-involutive twist-structures. Log. J. IGPL Umberto Rivieccio, Paulo Maia, Achim Jung
2020	B	`conf`	On the representation of (weak) nilpotent minimum algebras. FUZZ-IEEE Umberto Rivieccio, Tommaso Flaminio, Thiago Nascimento
2020	J	`jnl`	Representation of De Morgan and (Semi-)Kleene Lattices. Soft Comput. Umberto Rivieccio
2020	—	`conf`	Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras. IPMU (3) Umberto Rivieccio, Ramon Jansana, Thiago Nascimento
2019	J	`jnl`	Bilattice logic properly displayed. Fuzzy Sets Syst. Giuseppe Greco, Fei Liang, Alessandra Palmigiano, Umberto Rivieccio
2019	J	`jnl`	Compatibly involutive residuated lattices and the Nelson identity. Soft Comput. Matthew Spinks, Umberto Rivieccio, Thiago Nascimento
2018	C	`conf`	Algebraic Semantics for Nelson's Logic WoLLIC Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
2018	J	`jnl`	Characterizing finite-valuedness. Fuzzy Sets Syst. Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
2018	—	`conf`	Quasi-Nelson Algebras. LSFA Umberto Rivieccio, Matthew Spinks
2018	B	`conf`	naBL-algebras based on overlaps and their conjugates. FUZZ-IEEE Rui Paiva, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Umberto Rivieccio
2017	J	`jnl`	An Algebraic View of Super-Belnap Logics. Stud Logica Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio
2017	J	`jnl`	Four-valued modal logic: Kripke semantics and duality. J. Log. Comput. Umberto Rivieccio, Achim Jung, Ramon Jansana
2017	J	`jnl`	Locally Tabular \(\ne \) Locally Finite. Logica Universalis Sérgio Marcelino, Umberto Rivieccio
2016	—	`conf`	Łukasiewicz Public Announcement Logic. IPMU (2) Leonardo Cabrer, Umberto Rivieccio, Ricardo Oscar Rodríguez
2015	—	`conf`	Epistemic Updates on Bilattices. LORI Zeinab Bakhtiarinoodeh, Umberto Rivieccio
2014	B	`conf`	Bilattice Public Announcement Logic. Advances in Modal Logic Umberto Rivieccio
2014	J	`jnl`	Dualities for modal N4-lattices. Log. J. IGPL Ramon Jansana, Umberto Rivieccio
2014	J	`jnl`	Modal twist-structures over residuated lattices. Log. J. IGPL Hiroakira Ono, Umberto Rivieccio
2013	J	`jnl`	Bilattices with Implications. Stud Logica Félix Bou, Umberto Rivieccio
2013	—	`conf`	Four-valued modal logic: Kripke semantics and duality. TACL Achim Jung, Umberto Rivieccio
2013	A*	`conf`	Kripke Semantics for Modal Bilattice Logic. LICS Achim Jung, Umberto Rivieccio
2013	J	`jnl`	Nothing but the Truth. J. Philos. Log. Andreas Pietz, Umberto Rivieccio
2013	—	`conf`	Priestley duality for (modal) N4-lattices. TACL Ramon Jansana, Umberto Rivieccio
2013	—	`conf`	Priestley duality for N4-lattices. EUSFLAT Conf. Ramon Jansana, Umberto Rivieccio
2013	J	`jnl`	Representation of interlaced trilattices. J. Appl. Log. Umberto Rivieccio
2012	J	`jnl`	An infinity of super-Belnap logics. J. Appl. Non Class. Logics Umberto Rivieccio
2012	J	`jnl`	Priestley Duality for Bilattices. Stud Logica Achim Jung, Umberto Rivieccio
2012	J	`jnl`	Residuated bilattices. Soft Comput. Ramon Jansana, Umberto Rivieccio
2011	—	`conf`	Paraconsistent Modal Logics. M4M/LAMAS Umberto Rivieccio
2011	J	`jnl`	The logic of distributive bilattices. Log. J. IGPL Félix Bou, Umberto Rivieccio
2008	J	`jnl`	Neutrosophic logics: Prospects and problems. Fuzzy Sets Syst. Umberto Rivieccio