This article is cited in 1 paper

Implicatively implicit extensions of two-place symmetric functions in $P_3$

S. S. Marchenkov

Lomonosov Moscow State University

Abstract: The implicatively implicit extensions of all 27 two-place symmetric functions in three-valued logic preserving all three constants are characterized. It is established that among them there are both extensions that coincide with known implicitly closed classes, and extensions that are not closed with respect to the superposition operation.

Keywords: implicatively implicit extension, three-valued logic.

UDC: 519.716.5

Received: 21.11.2023

DOI: 10.4213/dm1805