On symbolic models for Single-Conclusion Logic of Proofs
Vladimir Nikolaevich Krupski · Sbornik Mathematics · 2011
In this paper we define symbolic models for Single-Conclusion Logics of Proofs. We prove the soundness and completeness of these logics with respect to the corresponding classes of symbolic models. We apply the semantic methods developed in this paper to justify the use of terms of single-conclusion logic of proofs as notation for derivations in this logic. Bibliography: 17 titles.