A b s t r a c t. The purpose of this note is to expose a new way of viewing the canonical extension of posets and bounded lattices. Specifically, we seek to expose categorical features of this completion and to reveal its relationship to other completion processes. The theory of canonical extensions is introduced by Jónsson and Tarski [15, 16] for Boolean algebras with operators. Their approach...

To the Editor: Seborrheic keratosis is one of the most common benign epidermal tumors in dermatologic clinical practice. Although the association between seborrheic keratosis and other skin tumors was first reported in 1932, its malignant transformation is very rare, with less than 20 published cases. We present the case of a patient with seborrheic keratosis that underwent transformation into ...

Eclogue:1 The logic programming language Prolog is used to provide a rapid-prototype simulator for the VERILOG Hardware Description Language (HDL). The simulator is based on an operational semantics of a significant subset of the language. Using this approach allows the exploration of sometimes subtle behaviours of parallel programs and the possibility of rapid changes or additions to the seman...