An ordered algebraic structure (a lattice with a join ⊕ and a product ⊗) that supplies the combination rules shared by Hyperon's weakness/simplicity measures and PLN truth values.

← Back to the Glossary