Characterization of extensions of two-place symmetric functions in three-valued logic reveals their properties and implications.
We characterize the implicatively implicit extensions of all 27 two-place symmetric functions of the three-valued logic that preserve all three constants. We show that they contain extensions coinciding with the known implicatively closed classes and extensions which are not closed relative to the superposition operation.
No takes yet. Share an insight, caveat, or question.
Sergey MARCHENKOV (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: