Showing math.LOShow all
3 papers · 1 filter
math.LO2019
Hyper-MacNeille Completions of Heyting algebras
John Harding, Frederik Lauridsen
A Heyting algebra is supplemented if each element has a dual pseudo-complement , and a Heyting algebra is centrally supplement if it is supplemented and each supplement is…
math.LO2018
A topos view of the type-2 fuzzy truth value algebra
John Harding, Carol Walker
It is known that fuzzy set theory can be viewed as taking place within a topos. There are several equivalent ways to construct this topos, one is as the topos of étalé spaces over…
math.LO2017
The Convolution Algebra
John Harding, Carol Walker, Elbert Walker
For a complete lattice and a relational structure , we introduce the convolution algebra . This algebra consists of the lattice $L^X…