Changes between Version 5 and Version 6 of TypeNats/LEQ
 Timestamp:
 Dec 24, 2010 4:14:23 AM (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeNats/LEQ
v5 v6 1 One step relation :1 One step relation (in a model M): 2 2 {{{ 3 3 (a + b ~ c) => (a <= c, b <= c) 4 (m * b ~ c) => (b <= c)  1 <= m 4 (a * b ~ c) => (b <= c)  M  1 <= a 5 (a * b ~ c) => (a <= c)  M  1 <= b 5 6 (a ^ b ~ a) => (a <= 1) 6 ( m ^ b ~ c) => (b <= c)  2 <= m7 (a ^ b ~ c) => (b <= c)  M  2 <= a 7 8 (0 ^ b ~ c) => (c <= 1) 8 (a ^ m ~ c) => (a <= c)  1 <= m9 (a ^ b ~ c) => (a <= c)  M  1 <= b 9 10 }}} 10 11