Implicatively implicit extensions of systems of one-place functions in P3

Recieved: 01/14/2025

Accepted: 01/27/2025

Keywords: implicatively implicit extension, three-valued logic

To cite this article

Marchenkov S.S. Implicatively implicit extensions of systems of one-place functions in P3. // Moscow University Journal. Series 15. Computational Mathematics and Cybernetics. 2025. N 3, p.46-52 https://doi.org/10.55959/MSU/0137–0782–15–2025–49–3–46–52.

This work is licensed under a Сreative Commons Atribiution - NonCommercial 4.0 International (CC BY-NC 4.0)

Marchenkov S.S. (Lomonosov Moscow State University (MSU))

Abstract

Using the technique of Boolean algebras, all 55 implicatively implicit extensions of systems of one-place functions of three-valued logic are defined. It is established that the specified extensions are defined by systems of one-place functions containing from one to three functions.