Sergio A. Celani

dblp:23/3144 · DBLP profile ↗

← Back

7ranked-venue papers

6as first author

2since 2021 · last 2025

0000-0003-2542-4128ORCID · verified

Artificial intelligence and machine learning · 4 · 3 first-author · 1 since 2021Theory of computation · 3 · 3 first-author · 1 since 2021

Year	Publication	Venue	Position
2025	Conditional algebras Sergio A. Celani, Rafal Gruszczynski, Paula Menchón	Ann. Pure Appl. Log.	1
2023	The variety of modal weak Gödel algebras Sergio A. Celani, Agustín L. Nagy, Hernán Javier San Martín	Fuzzy Sets Syst.	1
2020	Prelinear Hilbert algebras José L. Castiglioni, Sergio A. Celani, Hernán Javier San Martín	Fuzzy Sets Syst.	2
2020	Algebraic semantics of the $\left\{ \rightarrow , \square \right\} $-fragment of Propositional Lax Logic Sergio A. Celani, Daniela Montangie	Soft Comput.	1
2015	σ-Ideals in distributive pseudocomplemented residuated lattices Sergio A. Celani	Soft Comput.	1
2012	A Note on the Model Theory for Positive Modal Logic abstract The minimum system of Positive Modal Logic SK+ is the (∧, ∨, □, ◊, ⊥, $\top$)-fragment of the minimum normal modal logic K with local consequence. In this paper we develop some of the model theory for SK+ along the yet standard lines of the model the Sergio A. Celani, Ramon Jansana	Fundam. Informaticae	1
2001	A Fragment of Intuitionistic Dynamic Logic Sergio A. Celani	Fundam. Informaticae	1