Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
A new thought which I had less than a minute ago:
Boolean lattices follow classical propositional logic. Heyting algebras follow intuitionistic logic.
What about the logic for a system of two lattices: a “base” lattice and its sublattice?
I study in details some properties of a poset and its subset (I call such a pair of two posets as “filtrator”) in my research monograph.
I suspect that such “double” logic may be of relevance for my research. But I don’t know how to formulate this vague thought exactly. Any ideas?
Note that in most basic applications of my theory the base lattice is co-brouwerian and the “core” (that is the sub-lattice) lattice is boolean.
1 to 2 of 2