COM axioms COM001 1.ax Common axioms for progress preservation proof ∀ve: valphaEquivalent(ve, ve) fof(’alpha-equiv-refl’, axiom) ∀ve2 , ve1 : (valphaEquivalent(ve1 , ve2 ) ⇒ valphaEquivalent(ve2 , ve1 )) - Collagenopathy - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-03-18 22:03:50		COM axioms COM001+1.ax Common axioms for progress/preservation proof ∀ve: valphaEquivalent(ve, ve) fof(’alpha-equiv-refl’, axiom) ∀ve2 , ve1 : (valphaEquivalent(ve1 , ve2 ) ⇒ valphaEquivalent(ve2 , ve1 )) Add to Reading List Source URL: math.chapman.edu Download Document from Source Website File Size: 94,71 KB Share Document on Facebook