TermGallery
English
English
Spanish
Catalan
Portuguese
Russian
EN
English
Español
Català
Português
Русский
A property of sequences of predicate logic expressions.
negation complete
syntactically complete
maximally complete