Implicatively implicit extensions in three-valued logic

DOI10.3103/S0278641924010035MaRDI QIDQ6545504zbMATH OpenFDO

Authors S. S. Marchenkov

Publication date 29 May 2024

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

zbMATH Keywords

three-valued logicimplicatively implicit extension

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx) General logic (03Bxx) Boolean algebras (Boolean rings) (06Exx)

Cites work

• scientific article; zbMATH DE number 3976988 (Why is no real title available?)
• Extensions of the Positive Closure Operator by Using Logical Connectives
• Functional equations for the functions of real variables
• Implicit expressibility in two-valued logic and cryptoisomorphisms of two-element algebras
• On implicit extensions in many-valued logic
• Operator of positive closure
• Positively closed classes of three-valued logic
• The complexity of computing exponents

This page was built for publication: Implicatively implicit extensions in three-valued logic

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