research
∙
05/13/2020
Some Model Theory of Guarded Negation
The Guarded Negation Fragment (GNFO) is a fragment of first-order logic ...
share
research
∙
12/06/2014
Use your Google Account to sign in to DeepAI
