The FE-closure operator in countable-valued logic

DOI10.3103/S0278641913030084zbMATH Open1323.03024MaRDI QIDQ384749FDOQ384749

Authors: S. S. Marchenkov, I. S. Kalinina 

Publication date: 28 November 2013

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

Recommendations

• Action of an FE-closure operator on functions of countable-valued logic
• On the enumeration closure operator in multivalued logic
• The closure operator in a multi-valued logic based on functional equations
• On FE-precomplete classes in countable-valued logic
• scientific article; zbMATH DE number 4187774
• Closure operators with positive connectives and quantifiers
• scientific article; zbMATH DE number 6287647
• Completeness criterion for the enumeration closure operator in three-valued logic
• scientific article; zbMATH DE number 936267
• scientific article; zbMATH DE number 3902629

zbMATH Keywords

FE-closure operatorfunctions of countable-valued logicKleene analytic hierarchy

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Title not available (Why is that?)
• FE classification of functions of many-valued logic
• The closure operator in a multi-valued logic based on functional equations
• On classifications of many-valued logic functions by means of automorphism groups
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q384749)