Definition:Sound Proof System/Also known as
Jump to navigation
Jump to search
Sound Proof System: Also known as
Many sources obfuscate the distinction between sound and strongly sound.
Some sources speak of consistent proof systems.
However, on $\mathsf{Pr} \infty \mathsf{fWiki}$, consistency is a term only applied to (sets of) formulas.
Sources
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 4.2$: The Construction of an Axiom System
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 4.3$: Derivable Formulae