Operator of positive closure

DOI10.1134/S1064562412010346zbMath1276.03022MaRDI QIDQ416948

Sergey S. Marchenkov

Publication date: 10 May 2012

Published in: Doklady Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (4)

Closure operators with positive connectives and quantifiers ⋮ On the enumeration closure operator in multivalued logic ⋮ Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions ⋮ Implicit expressibility in multiple-valued logic

Cites Work

• On expressibility of functions of many-valued logic in some logical-functional languages

This page was built for publication: Operator of positive closure