|
This article is cited in 5 scientific papers (total in 5 papers)
On the axiomatization of finite-valued logical calculi
O. M. Anshakov, S. V. Rychkov
Abstract:
The authors propose a general effective method for constructing a predicate calculus complete with respect to $L_n$-general validity in quasi-Hilbert form (i.e. in Hilbert form but using a language extended by finitely many “external metasymbols”) on the basis of an arbitrary many-valued logic. For logics in a fairly large class containing many of the logics studied previously, a general effective method is indicated for constructing a predicate calculus of Hilbert type complete with respect to $L_n$-general validity. The results and methods of the article make it possible to initiate the development of model theory on the basis of an arbitrary finite-valued logic.
Bibliography: 25 titles.
Received: 09.02.1982
Citation:
O. M. Anshakov, S. V. Rychkov, “On the axiomatization of finite-valued logical calculi”, Mat. Sb. (N.S.), 123(165):4 (1984), 477–495; Math. USSR-Sb., 51:2 (1985), 473–491
Linking options:
https://www.mathnet.ru/eng/sm2032https://doi.org/10.1070/SM1985v051n02ABEH002870 https://www.mathnet.ru/eng/sm/v165/i4/p477
|
Statistics & downloads: |
Abstract page: | 363 | Russian version PDF: | 128 | English version PDF: | 12 | References: | 33 |
|