−Table of Contents
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: (x∧y)′=x′∨y′, (x∨y)′=x′∧y′, 0′=1, 1′=0
Morphisms
Let A and B be Ockham algebras. A morphism from A to B is a function h:A→B that is a homomorphism:
h(x∨y)=h(x)∨h(y), h(x∧y)=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>