[Attempto] Non-monotonic reasoning in RACE

[Simon Spero]

On Aug 17, 2015 12:35 PM, "Norbert E. Fuchs" <fuchs at ifi.uzh.ch> wrote:

>  I was about to remove a bug that prevented your example from executing.
In the meantime I removed the bug and now get the expected result

Non-monotonicity - should better code fail more regression tests? :-)

> while the combination "... not ... not provable P ..." is not accepted as
being semantically identically to "P".

Because "provable P" ⊭ "P",  right?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20150819/71e8eb32/attachment.html>