Soundness, Completeness, and Realization
Axiomatic soundness is quite straightforward. If k > 0 and m > 0 soundness 
is just an extension of the argument for the soundness for JT4.2, which was presented in Section 4.3.6.
Figure 8.2 Illustration for Theorem 8.14 
8.7
More on the topic Soundness, Completeness, and Realization:
-
Contemporary philosophical research -
Fundamentals of philosophy -
Logic -
Philosophy of Science and Technology -
Political philosophy -
Social philosophy -
-
Conflictology -
Ecology -
Economy -
Finance -
History -
Law -
Medicine -
Philosophy -
Religious studies -