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

DOI10.3103/S027864191903004XzbMath1452.03068OpenAlexW2970346870MaRDI QIDQ2287402

Vasilii A. Prostov, Sergey S. Marchenkov

Publication date: 20 January 2020

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

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

zbMATH Keywords

closure with respect to enumerationoperators of equational closure

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Operator of positive closure
• On the enumeration closure operator in multivalued logic
• Completeness criterion for the enumeration closure operator in three-valued logic
• Closure operators with positive connectives and quantifiers
• Equational closure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions