No label defined (Q3978982)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 19495
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 19495 |
Statements
26 June 1992
0 references
lattices order-dual to frames
0 references
Heyting algebras
0 references
Leibniz rule
0 references
0.7117376923561096
0 references
0.6867930889129639
0 references
0.6838178634643555
0 references
0.6753395795822144
0 references
[For the entire collection see Zbl 0733.00009.] This rather dense short paper advocates and begins a study of lattices opposite (order-dual) to frames or, more generally, Heyting algebras. The author's main concern is with the opposite of intuitionist `not', which he calls `non'; thus \(P\) or non-\(P\) must hold, perhaps both. The last case is called \(\partial P\). The central theorem gives somewhat complex but usable conditions for validity of the `Leibniz rule' \(\partial(A\times B)=(\partial A)\times B\cup A\times(\partial B)\).
0 references
