Completeness criterion for the enumeration closure operator in three-valued logic

DOI10.1515/dma-2020-0001OpenAlexW3006579565MaRDI QIDQ2295970

Sergey S. Marchenkov

Publication date: 17 February 2020

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma-2020-0001

zbMATH Keywords

three-valued logicenumeration closure operator

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Order, lattices, ordered algebraic structures (06-XX)

Related Items (1)

Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions

Cites Work

• On the enumeration closure operator in multivalued logic
• On expressibility of functions of many-valued logic in some logical-functional languages
• Unnamed Item

This page was built for publication: Completeness criterion for the enumeration closure operator in three-valued logic