This animated GIF presentation shows how the Third Axiom of Equality (in Tom Etter’s paper “The Expressive Power of Equality”) can be proved as a theorem in Multiple Form Logic (see also the previous post here).
(click into the slide-show to see a “memo” about Tom Etter’s paper)
Αρχειοθετήθηκε ως : Art, Boundary-Institute, LoF, Logic, Multiple Form Logic (theory and research), ΛΟΓΙΚΗ, Λογική Πολλαπλών Μορφών















[...] How Equality is embedded in Multiple Form Logic (Animated GIF Presentation of a Theorem Proof) – Oma… [...]