Article contents
The ground-negative fragment of first-order logic is
-complete
Published online by Cambridge University Press: 12 March 2014
Abstract
We prove that for a natural class of first-order formulas the validity problem is -complete.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1999
References
REFERENCES
- 1
- Cited by