Operator of positive closure

DOI10.1134/S1064562412010346zbMATH Open1276.03022MaRDI QIDQ416948FDOQ416948

Authors: S. S. Marchenkov 

Publication date: 10 May 2012

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

Recommendations

• Atoms of the lattice of positively closed classes of three-valued logic
• Extensions of the Positive Closure Operator by Using Logical Connectives
• Positively closed classes of three-valued logic generated by one-place functions
• Discriminator positively complete classes of ternary logic
• Basic positively closed classes in three-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

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

Cited In (6)

• On the enumeration closure operator in multivalued logic
• Implicit expressibility in multiple-valued logic
• Closure operators with positive connectives and quantifiers
• Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions
• Implicatively implicit extensions in three-valued logic
• Logical extensions of the parametric closure operator

This page was built for publication: Operator of positive closure

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