Hostname: page-component-7b7567c8c-wxvwp Total loading time: 0 Render date: 2026-11-15T05:39:16.605Z Has data issue: false hasContentIssue false

Pseudocomplemented and Implicative Semilattices

Published online by Cambridge University Press:  20 November 2018

Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Let L be a semilattice and let a ∊ L. We refer the reader to Definitions 2.2, 2.4, 2.5 and 2.12 below for the terminology. If L is a-implicative, let Ca be the set of a-closed elements of L, and let Da be the filter of a-dense elements of L. Then Ca is a Boolean algebra. If a = 0, then C 0 and D 0 are the usual closed algebra and dense filter of L. If L is a-admissible and f : Ca × Da → Da is the corresponding admissible map, we can form a quotient semilattice Ca × D 0 f. In case a = 0, Murty and Rao [4] have shown that C 0 × D 0/f is isomorphic to L, and hence that C 0 × D 0 is 0-admissible. In case L is in fact implicative, Nemitz [5] has shown that C 0 × D 0/f is isomorphic to L, and that C 0 × D 0/f is also implicative.

Information

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1982