José Gil-Férez

From MaRDI portal
(Redirected from Person:284969)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Locally integral involutive PO-semigroups
Fundamenta Informaticae
2026-01-22Paper
There is no obstruction to a Euclidean proof for the fourth postulate
Historia Mathematica
2026-01-06Paper
Recognizability in residuated lattices
Outstanding Contributions to Logic
2024-03-25Paper
Locally Integral Involutive PO-Semigroups2023-10-19Paper
The structure of locally integral involutive po-monoids and semirings
Relational and Algebraic Methods in Computer Science
2023-08-17Paper
Integrally closed residuated lattices
Studia Logica
2021-05-11Paper
Join-completions of partially ordered algebras
Annals of Pure and Applied Logic
2020-10-07Paper
Structure theorems for idempotent residuated lattices
Algebra Universalis
2020-05-26Paper
An abstract approach to consequence relations
The Review of Symbolic Logic
2019-06-07Paper
Hulls of ordered algebras: projectability, strong projectability and lateral completeness
Journal of Algebra
2017-05-22Paper
On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
Studia Logica
2017-05-15Paper
On some properties of directoids
Soft Computing
2016-11-22Paper
Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
Journal of Pure and Applied Algebra
2016-09-05Paper
Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections.
Journal of Pure and Applied Algebra
2016-05-18Paper
The failure of the amalgamation property for semilinear varieties of residuated lattices
Mathematica Slovaca
2015-11-26Paper
Leibniz interpolation properties
Annals of Pure and Applied Logic
2014-01-24Paper
Representations of structural closure operators
Archive for Mathematical Logic
2011-03-02Paper
Multi-term π-institutions and their equivalence
MLQ
2007-02-07Paper


Research outcomes over time


This page was built for person: José Gil-Férez