On the axiomatization of finite-valued logical calculi

O. M. Anshakov   ; S. V. Rychkov

Sbornik. Mathematics, Tome 51 (1985) no. 2, pp. 473-491

Résumé

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.

Bibliographie

[1] Plonka J., “On distributive quasi-lattices”, Fund. Math., 60:2 (1967), 191–200 | MR | Zbl

[2] Rosser J. B., Turquette A. R., Many-valued logics, NHPCo, Amsterdam, 1952 | MR

[3] Lukasiewicz J., Tarski A., “Investigations into the sentential calculus”, A. Tarski, Logic, Semantics, Metamathematics, Oxford, 1956, 38–59

[4] Post E. L., “Intoduction to a general theory of elementary propositions”, From Frege to Gödel, Cambridge, Mass., 1967, 264–283

[5] Yablonskii S. V., “Funktsionalnye postroeniya v $k$-znachnoi logike”, Trudy MIAN, 51 (1958), 5–142 | Zbl

[6] Moisil G. C., “Notes sur les Iogiques non chrysippinnes”, Ann. Sci. Univ. Iassy, 27 (1941), 86–96 | MR

[7] Bochvar D. A., “Ob odnom trekhznachnom ischislenii i ego primenenii k analizu paradoksov klassicheskogo rasshirennogo funktsionalnogo ischisleniya”, Matem. sb., 4 (46) (1938), 287–308 | Zbl

[8] Grigoliya R. Sh., Finn V. K., “Algebry Bochvara i sootvetstvuyuschie im propozitsionalnye ischisleniya”, Issledovaniya po neklassicheskim logikam i teorii mnozhestv, Nauka, M., 1979, 345–372 | MR

[9] Ebbinghans H.-D., “Über eine Pradikatenlogik mit partiell definierten Pradikaten und Funktionen”, Arch. math. Logik und Grundl., 12 (1969), 39–53 | DOI | MR

[10] Segerberg K., “A contribution to nonsense logic”, Theoria, 31 (1965), 199–217

[11] Hallden S., The logic of nonsense, Uppsala, 1949

[12] Goddard L., Routley R., The logic of significance and context, v. 1, Scottish Academic Press, Eddinburg, 1973 | Zbl

[13] Anshakov O. M., Rynkov S. V., “Bulevy ultrastepeni”, Vestn. MGU. Seriya matem., 1981, no. 6, 106–107

[14] Anshakov O. M., Rynkov S. V., “O mnogoznachnykh logicheskikh ischisleniyakh”, DAN SSSR, 264:2 (1982), 267–270 | MR | Zbl

[15] Yablonskii S. V., Vvedenie v diskretnuyu matematiku, Nauka, M., 1979 | MR | Zbl

[16] Resher N., Many-valued logic, New York, 1969

[17] Rasiowa H., An algebraic approach to non-classical logics, NHP'Co, Amsterdam–London–N. Y., 1974 | MR

[18] Roussea G., “Sequents in many-valued logic”, Fund. Math., 60 (1967), 23–33 | MR

[19] Surma S. J., “An algorith for Axiomatizing Every Finite Logic”, Proceedings of 1974$^{\text{{\rm th}}}$ International Symposium on Multipl-valued Logic, West Virginia Univ. Press, Morgantown, 1974, 315–327 | MR

[20] Rynkov S. V., Stepanov V. I., “O polnote logiki vtorogo poryadka”, Algoritmicheskie voprosy algebraicheskikh sistem i EVM, Irkutsk, 1979, 145–150

[21] Ono H., “A Formal System of Partial Recursive Functions”, Publ. RIMS Kyoto Univ., 10 (1974), 271–291 | DOI | MR | Zbl

[22] Anshakov O. M., Rynkov S. V., “O mnogoznachnykh logicheskikh ischisleniyakh”, Semiotika i informatika, 19 (1982), 90–117 | MR | Zbl

[23] Anshakov O. M., Rynkov S. V., “O mnogoznachnykh logicheskikh ischisleniyakh”, Tezisy dokladov VI Vsesoyuznoi konferentsii po matematicheskoi logike, Tbilisi, 1982, 7

[24] Finn V. K., Anshakov O. M., Grigoliya R. Sh., Zabezhailo M. I., “Mnogoznachnye logiki kak fragmenty formalizovannoi semantiki”, Semiotika i informatika, 15 (1980), 27–60 | MR | Zbl

[25] Anshakov O. M., Rynkov S. V., O mnogoznachnykh logicheskikh ischisleniyakh, Rukopis dep. v VINITI No 2937-82 Dep., MGPI im. V. I. Lenina, 102 pp. | Zbl