José Gil-Férez

13 papers C 2Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Balanced residuated partially ordered semigroups.
CoRR
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
2024 J jnl
Locally Integral Involutive PO-Semigroups.
Fundam. Informaticae
José Gil-Férez, Peter Jipsen, Melissa Sugimoto
2024 C conf
On the Structure of Balanced Residuated Partially Ordered Monoids.
RAMiCS
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
2023 C conf
The Structure of Locally Integral Involutive Po-monoids and Semirings.
RAMiCS
José Gil-Férez, Peter Jipsen, Siddhartha Lodhia
2020 J jnl
Integrally Closed Residuated Lattices.
Stud Logica
José Gil-Férez, Frederik Möllerström Lauridsen, George Metcalfe
2020 J jnl
Join-completions of partially ordered algebras.
Ann. Pure Appl. Log.
José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou
2019 J jnl
An Abstract Approach to Consequence Relations.
Rev. Symb. Log.
Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli
2017 J jnl
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.
Stud Logica
Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi
2015 J jnl
On some properties of directoids.
Soft Comput.
Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli
2014 J jnl
Leibniz interpolation properties.
Ann. Pure Appl. Log.
Leonardo Manuel Cabrer, José Gil-Férez
2013 — conf
Laterally complete and projective hulls of semilinear residuated lattices.
TACL
José Gil-Férez, Antonio Ledda, Constantine Tsinakis
2011 J jnl
Representations of structural closure operators.
Arch. Math. Log.
José Gil-Férez
2006 J jnl
Multi-term pi-institutions and their equivalence.
Math. Log. Q.
José Gil-Férez