José Gil-Férez

dblp:07/3874 · DBLP profile ↗
← Back
6ranked-venue papers
3as first author
3since 2021 · last 2024
0000-0002-3086-6070ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 3 first-author · 3 since 2021Artificial intelligence and machine learning · 1
YearPublicationVenuePosition
2024 On the Structure of Balanced Residuated Partially Ordered Monoids
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
RAMiCS2
2024 Locally Integral Involutive PO-Semigroups
abstract
We show that every locally integral involutive partially ordered semigroup (ipo-semigroup) $\mathbf A = (A,\le, \cdot, \sim,-)$, and in particular every locally integral involutive semiring, decomposes in a unique way into a family $\{\mathbf A_p : p\in A^+\}$ of integral ipo-monoids, which we call its integral components. In the semiring case, the integral components are unital semirings. Moreover, we show that there is a family of monoid homomorphisms $Φ= \{φ_{pq}: \mathbf A_p\to \mathbf A_q : p\le q\}$, indexed over the positive cone $(A^+,\le)$, so that the structure of $\mathbf A$ can be recovered as a glueing $\int_Φ\mathbf A_p$ of its integral components along $Φ$. Reciprocally, we give necessary and sufficient conditions so that the Płonka sum of any family of integral ipo-monoids $\{\mathbf A_p : p\in D\}$, indexed over a join-semilattice $(D,\lor)$ along a family of monoid homomorphisms $Φ$ is an ipo-semigroup.
José Gil-Férez, Peter Jipsen, Melissa Sugimoto
Fundam. Informaticae1
2023 The Structure of Locally Integral Involutive Po-monoids and Semirings
José Gil-Férez, Peter Jipsen, Siddhartha Lodhia
RAMiCS1
2020 Join-completions of partially ordered algebras
José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou
Ann. Pure Appl. Log.1
2015 On some properties of directoids
Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli
Soft Comput.2
2014 Leibniz interpolation properties
Leonardo Manuel Cabrer, José Gil-Férez
Ann. Pure Appl. Log.2