José Gil-Férez

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 7

Top Topics

Boolean Algebra

Top Venues

Ann. Pure Appl. Log.

Publications

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