José Gil-Férez

According to our database, José Gil-Férez authored at least 11 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Structure of Balanced Residuated Partially Ordered Monoids.

Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

The Structure of Locally Integral Involutive Po-monoids and Semirings.

José Gil-Férez, Peter Jipsen, Siddhartha Lodhia

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2020

Integrally Closed Residuated Lattices.

José Gil-Férez, Frederik Möllerström Lauridsen, George Metcalfe

Stud Logica, 2020

Join-completions of partially ordered algebras.

José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou

Ann. Pure Appl. Log., 2020

2019

An Abstract Approach to Consequence Relations.

Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli

Rev. Symb. Log., 2019

2017

On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.

Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi

Stud Logica, 2017

2015

On some properties of directoids.

Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli

Soft Comput., 2015

2014

Leibniz interpolation properties.

Leonardo Manuel Cabrer, José Gil-Férez

Ann. Pure Appl. Log., 2014

2013

Laterally complete and projective hulls of semilinear residuated lattices.

José Gil-Férez, Antonio Ledda, Constantine Tsinakis

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2011

Representations of structural closure operators.

José Gil-Férez

Arch. Math. Log., 2011

2006

Multi-term pi-institutions and their equivalence.

José Gil-Férez

Math. Log. Q., 2006