A class of models for intermediate logics.
B. van Rootselaar · Notre Dame Journal of Formal Logic · 1971
Let a be an ordinal, c(a) its cardinality and B a c(a)-field of sets, with union +, intersection and complementation '.By L^B) we denote the set of weakly decreasing functions from a into B. A lattice structure is defined on L a {B) by puttingfor all K ^ a and f,ge L a {B).There is a zero 0 in L a (B) and a one 1.As is well-known L a (B) is not complemented for a > 1. However a relatively pseudocomplemented structure can be defined on LQHB).