Let K be any field and L be any lattice. In this note we show that L is a sublattice of annihilators in an associative and commutative K-algebra. If L is finite, then our algebra will be finite dimensional over K.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The class of QBBC-algebras was introduced and studied by the authors in ioj. These algebras model properties of the logical connective implication "=>" in which tin- validity of formulas x => y and y => x does not imply the equivalence of x and y. In ihe paper the properties of standard QBCC-algebras derived from qosets are studied.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
To every ordered set with a greatest element is assigned an order algebra, a Hilbert algebra occuring in intuicionistic logic. We prove some basic properties of order algebras and characterize their ideals and congruences. We introduce a concept of (relative) annihilator and show that it is a (relative) pseudocomplement in the lattice of all ideals.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.