|
This article is cited in 2 scientific papers (total in 2 papers)
On symbolic models for Single-Conclusion Logic of Proofs
V. N. Krupski M. V. Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract:
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.
Keywords:
formal derivation, proof predicate, single-conclusion logic of proofs, Mkrtychev models, internalization property.
Received: 13.12.2009
Citation:
V. N. Krupski, “On symbolic models for Single-Conclusion Logic of Proofs”, Mat. Sb., 202:5 (2011), 63–76; Sb. Math., 202:5 (2011), 683–695
Linking options:
https://www.mathnet.ru/eng/sm7665https://doi.org/10.1070/SM2011v202n05ABEH004161 https://www.mathnet.ru/eng/sm/v202/i5/p63
|
Statistics & downloads: |
Abstract page: | 452 | Russian version PDF: | 216 | English version PDF: | 9 | References: | 41 | First page: | 18 |
|