Processing math: 100%

Ockham algebras

Abbreviation: OckA

Definition

An \emph{Ockham algebra} is a structure A=A,,0,,1, such that

A,,0,,1 is a bounded distributive lattice

is a dual endomorphism: (xy)=xy, (xy)=xy, 0=1, 1=0

Morphisms

Let A and B be Ockham algebras. A morphism from A to B is a function h:AB that is a homomorphism:

h(xy)=h(x)h(y), h(xy)=h(x)h(y), h(x)=h(x), h(0)=0, h(1)=1

Examples

Example 1:

Basic results

Properties

Finite members

f(1)=1f(2)=1f(3)=2f(4)=f(5)=f(6)=f(7)=f(8)=f(9)=f(10)=

Subclasses

Superclasses

References

1)\end{document} %</pre>


QR Code
QR Code ockham_algebras (generated for current page)