A. V. Makarov, V. V. Makarov, “Countabliity of the set of closed overclasses of some minimal classes in the partly ordered set <nobr>$\mathcal{L}^3_2$</nobr> of all closed classes of three-valued logic that can be mapped homomorphically onto two-valued logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2017, Number 1,Pages <nobr>62

This article is cited in 3 papers

Short notes

Countabliity of the set of closed overclasses of some minimal classes in the partly ordered set $\mathcal{L}^3_2$ of all closed classes of three-valued logic that can be mapped homomorphically onto two-valued logic

A. V. Makarov^a, V. V. Makarov^b

^a Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
^b Moscow Institute of Radio-Engineering, Electronics and Automation

Abstract: The following theorem is proved: the set of closed classes containing some minimal classes in the partly ordered set $\mathcal{L}^3_2$ of closed classes in the three-valued logic that may be mapped homomorphically onto the two-valued logic is countable.

Key words: three-valued logic, closed class, partially ordered set, homomorphism, minimal class.

UDC: 519.95

Received: 16.03.2016