4 ms·

> it respects boolean logic. Intuitionist or classical?

• tunesmith 3y ago
  Intuitionist. Truth is provability; the propagation model is basically digital logic. If you mark a premise to a conclusion false, the conclusion is then marked "false" but it really just means "it is false that it is proven"; vitiated. Might still be true, just needs further work.