Incorrect output for 0-ary predicates #38

New Issue

patrick · 2019-02-07T17:49:45+01:00

patrick commented

anthem currently translates

q.

to

(#true -> forall  (() -> q))

The empty conjunction must be avoided, especially with TPTP output.

anthem currently translates ``` q. ``` to ``` (#true -> forall (() -> q)) ``` The empty conjunction must be avoided, especially with TPTP output.

patrick added this to the anthem 0.2.0 milestone 2019-02-07 17:49:45 +01:00

patrick self-assigned this 2019-02-07 17:49:45 +01:00

patrick added the

label 2019-02-07 17:49:45 +01:00

Sign in to join this conversation.

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: patrick/anthem#38