The logical system is sound.
Every well-formed formula that can be proven in the logical system is logically valid with respect to the logical semantics of the system.
The logical system is valid and has no false premises.