Implicatively implicit extensions in three-valued logic

DOI10.3103/S0278641924010035MaRDI QIDQ6545504FDOQ6545504

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

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

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)