The closure operator in many-valued logic based on functional equations

S. S. Marchenkov

Diskretnyj analiz i issledovanie operacij, Tome 17 (2010) no. 4, pp. 18-31.

Résumé

On the set of many-valued logic functions the FE-closure operator based on functional equations is introduced. It is proved that the FE-closure operator generates a finite classification on the set $P_k$ of $k$-valued logic functions for every $k\ge2$. It is established that the least class in this classification is the class $H_k$ of homogeneous functions. A series of corollaries about finite FE-generating sets in FE-closed classes are deduced. Bibliogr. 24.

Détail

Keywords: many-valued logic function, functional equation, FE-closure operator.

Bibliographie

[1] Golunkov V., “Polnota sistem funktsii v operatornykh algoritmakh, realizuyuschikh funktsii $k$-znachnoi logiki”, Veroyatnostnye metody i kibernetika, 17, 1980, 23–34 | MR | Zbl

[2] Kon P., Universalnaya algebra, Mir, M., 1968, 351 pp. | MR

[3] Kuznetsov A. V., “O sredstvakh dlya obnaruzheniya nevyvodimosti i nevyrazimosti”, Logicheskii vyvod, Nauka, M., 1979, 5–33

[4] Marchenkov S. S., “O zamknutykh klassakh samodvoistvennykh funktsii mnogoznachnoi logiki”, Problemy kibernetiki, 36, Nauka, M., 1979, 5–22 | MR

[5] Marchenkov S. S., “Odnorodnye algebry”, Problemy kibernetiki, 39, Nauka, M., 1982, 85–106 | MR

[6] Marchenkov S. S., “Klassifikatsiya algebr so znakoperemennoi gruppoi avtomorfizmov”, Mat. voprosy kibernetiki, 2, Nauka, M., 1989, 100–122 | MR

[7] Marchenkov S. S., “Klonovaya klassifikatsiya dualno diskriminatornykh algebr s konechnym nositelem”, Mat. zametki, 61:3 (1997), 359–366 | MR | Zbl

[8] Marchenkov S. S., “$S$-klassifikatsiya funktsii mnogoznachnoi logiki”, Diskret. matematika, 9:3 (1997), 125–152 | MR | Zbl

[9] Marchenkov S. S., “O vyrazimosti funktsii mnogoznachnoi logiki v nekotorykh logiko-funktsionalnykh yazykakh”, Diskret. matematika, 11:4 (1999), 110–126 | MR | Zbl

[10] Marchenkov S. S., Zamknutye klassy bulevykh funktsii, Fizmatlit, M., 2000, 126 pp. | MR | Zbl

[11] Marchenkov S. S., $S$-klassifikatsiya funktsii trëkhznachnoi logiki, Fizmatlit, M., 2001, 79 pp. | Zbl

[12] Marchenkov S. S., “Operatory zamykaniya s razvetvleniem po predikatu”, Vestnik MGU. Ser. 1. Matematika, mekhanika, 2003, no. 6, 37–39 | MR | Zbl

[13] Marchenkov S. S., “Ekvatsionalnoe zamykanie”, Diskret. matematika, 17:2 (2005), 117–126 | MR | Zbl

[14] Marchenkov S. S., “O poryadkakh diskriminatornykh klassov mnogoznachnoi logiki”, Mat. zametki, 86:4 (2009), 550–556 | MR | Zbl

[15] Marchenkov S. S., Fëdorova V. S., “O resheniyakh sistem funktsionalnykh bulevykh uravnenii”, Diskret. analiz i issled. operatsii, 15:6 (2008), 48–57 | MR

[16] Marchenkov S. S., Fëdorova V. S., “O resheniyakh sistem funktsionalnykh uravnenii mnogoznachnoi logiki”, Dokl. RAN, 426:4 (2009), 448–449 | MR | Zbl

[17] Marchenkov S. S., Fëdorova V. S., “Resheniya sistem funktsionalnykh uravnenii mnogoznachnoi logiki”, Vestnik MGU. Ser. 15. Vychisl. matematika i kibernetika, 2009, no. 4, 29–33 | MR | Zbl

[18] Nguen Van Khoa, “O strukture samodvoistvennykh zamknutykh klassov trëkhznachnoi logiki”, Diskret. matematika, 4:4 (1992), 82–95 | MR | Zbl

[19] Nguen Van Khoa, “O semeistvakh zamknutykh klassov $k$-znachnoi logiki, sokhranyaemykh vsemi avtomorfizmami”, Diskret. matematika, 5:4 (1993), 87–108 | MR | Zbl

[20] Taimanov V. A., “O funktsionalnykh sistemakh $k$-znachnoi logiki s operatsiyami programmnogo tipa”, Dokl. AN SSSR, 268:6 (1983), 1307–1310 | MR

[21] Tarasova O. S., “Klassy $k$-znachnoi logiki, zamknutye otnositelno rasshirennoi operatsii superpozitsii”, Vestnik MGU. Ser. 1. Matematika, mekhanika, 2001, no. 6, 54–57 | MR | Zbl

[22] Yablonskii S. V., Vvedenie v diskretnuyu matematiku, Nauka, M., 1986, 384 pp. | MR

[23] Yablonskii S. V., Gavrilov G. P., Kudryavtsev V. B., Funktsii algebry logiki i klassy Posta, Nauka, M., 1966, 119 pp. | MR

[24] Marczewski E., “Homogeneous operations and homogeneous algebras”, Fund. Math., 56:1 (1964), 81–103 | MR | Zbl