The FE-closure operator in countable-valued logic

DOI10.3103/S0278641913030084zbMath1323.03024MaRDI QIDQ384749

Sergey S. Marchenkov, I. S. Kalinina

Publication date: 28 November 2013

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

zbMATH Keywords

FE-closure operatorfunctions of countable-valued logicKleene analytic hierarchy

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (4)

Functional equations for the functions of real variables ⋮ On FE-precomplete classes in countable-valued logic ⋮ On complexity of problem of satisfiability for systems of countable-valued functional equations ⋮ Action of an FE-closure operator on functions of countable-valued logic

Cites Work

• FE classification of functions of many-valued logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The FE-closure operator in countable-valued logic