Category:Definitions/Sound Proof Systems
Jump to navigation
Jump to search
This category contains definitions related to Sound Proof Systems.
Related results can be found in Category:Sound Proof Systems.
Let $\LL$ be a logical language.
Let $\mathscr P$ be a proof system for $\LL$.
Let $\mathscr M$ be a formal semantics for $\LL$.
Then $\mathscr P$ is said to be sound for $\mathscr M$ if and only if:
Symbolically, this can be expressed as the statement that, for every logical formula $\phi$ of $\LL$:
- $\vdash_{\mathscr P} \phi$ implies $\models_{\mathscr M} \phi$
Pages in category "Definitions/Sound Proof Systems"
The following 4 pages are in this category, out of 4 total.