Monotonicity required for Provability
dionyziz opened this issue · comments
Provability of predicates requires that they are monotonous. This can be mentioned as a remark when we introduce monotonicity and provability (or as a theorem?)
Research and implementation for non-interactive blockchain proofs of proofs of work
dionyziz opened this issue · comments
Provability of predicates requires that they are monotonous. This can be mentioned as a remark when we introduce monotonicity and provability (or as a theorem?)