Concepedia
2
Publications
68
Citations
H-Index
2016
Active since
Affiliations
University of Cagliari(Current)
José Gil‐Férez is an author at University of Cagliari specializing in automated reasoning, engineering, and formal methods.
Top concepts
SemanticsEngineeringFormal MethodsAutomated Reasoning
Publications per year
2016–2016
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis
Stefano Bonzio, José Gil‐Férez, Francesco Paoli et al. · Studia Logica · 2016 · 57 citations · Full text
Engineering, Substructural Logic, Automated Reasoning +5
Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and π-institutions
Nikolaos Galatos, José Gil‐Férez · Journal of Pure and Applied Algebra · 2016 · 11 citations
Rows per page
1–2 of 2