Wilmari Morton

dblp:136/4222 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
1since 2021 · last 2026
0000-0003-0948-856XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 first-author
YearPublicationVenuePosition
2026 Contractions of Quasi Relation Algebras and Applications to Representability
Andrew Craig, Wilmari Morton, Claudette Robinson
RAMICS2
2017 The canonical FEP construction
abstract
A class K of algebras has the finite embeddability property (FEP) if every finite partial subalgebra of some member of K can be embedded into some finite member of K⁠. We prove the FEP for varieties of decreasing residuated lattice-ordered algebras using a construction based on the canonical extension. This construction produces a (generally) different finite member of the class from alternative FEP constructions for similar classes of algebras. Additionally, the constructed algebra is internally compact, in contrast to other FEP constructions. We give a description of the σ- and π-extensions of operations that do not rely on the notions of closed and open elements and we use this to obtain a syntactic description of a class of inequalities s≤t that are preserved by the construction.
Wilmari Morton, Clint J. van Alten
J. Log. Comput.1
2013 Modal MTL-algebras
Wilmari Morton, Clint J. van Alten
Fuzzy Sets Syst.1