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

DOI10.3103/S027864191903004XzbMATH Open1452.03068OpenAlexW2970346870MaRDI QIDQ2287402FDOQ2287402

Authors: Vasilii A. Prostov, S. 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

Recommendations

• On the enumeration closure operator in multivalued logic
• The closure operator in a multi-valued logic based on functional equations
• On function classes in \(P _{3}\) precomplete with respect to a strengthened closure operator
• The equational closure operator
• The closure operator with the equality predicate branching on the set of partial Boolean functions

zbMATH Keywords

closure with respect to enumerationoperators of equational closure

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Title not available (Why is that?)
• Completeness criterion for the enumeration closure operator in three-valued logic
• Closure operators with positive connectives and quantifiers
• On the enumeration closure operator in multivalued logic
• Operator of positive closure
• Title not available (Why is that?)
• Equational closure
• The S-classification of three-valued logic functions.
• Equationally closed classes of partial Boolean functions
• A criterion for positive completeness in ternary logic

Cited In (11)

• The closure operator with the equality predicate branching on the set of partial Boolean functions
• On the enumeration closure operator in multivalued logic
• Equational closure
• On the structure of equationally closed classes
• Title not available (Why is that?)
• Classification of multioperations of rank 2 by \(E\)-precomplete sets
• The closure operator in a multi-valued logic based on functional equations
• On classifications of many-valued logic functions by means of automorphism groups
• On function classes in \(P _{3}\) precomplete with respect to a strengthened closure operator
• The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set
• The equational closure operator

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

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