Implicit expressibility in multiple-valued logic

DOI10.3103/S0278641922030086OpenAlexW4312571159MaRDI QIDQ2107856

Sergey S. Marchenkov

Publication date: 5 December 2022

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

Full work available at URL: https://doi.org/10.3103/s0278641922030086

zbMATH Keywords

implicit extensionimplicit expressibility

Mathematics Subject Classification ID

General logic (03Bxx)

Cites Work

• Operator of positive closure
• Parametric expressibility of functions of three-valued logic
• On the implicit expressibility of Boolean functions
• Implicit expressibility in two-valued logic and cryptoisomorphisms of two-element algebras
• Implicitly maximal classes and implicit completeness criterion in the three-valued logic
• On some implicitly precomplete classes of monotone functions in \(P_k\)
• Some implicitly precomplete classes of functions of three-valued logic preserving subsets
• Finitely Many Primitive Positive Clones
• Positively closed classes of three-valued logic
• Toxicology of nanoparticles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implicit expressibility in multiple-valued logic