KLE axioms KLE001 0.ax Idempotent semirings ∀a, b: a b = b a fof(additive commutativity, axiom) ∀c, b, a: a (b c) = (a b) c fof(additive associativity, axiom) - Idempotent - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-03-18 22:05:17		KLE axioms KLE001+0.ax Idempotent semirings ∀a, b: a + b = b + a fof(additive commutativity, axiom) ∀c, b, a: a + (b + c) = (a + b) + c fof(additive associativity, axiom) Add to Reading List Source URL: math.chapman.edu Download Document from Source Website File Size: 98,27 KB Share Document on Facebook