Closure operators with positive connectives and quantifiers

DOI10.3103/S027864191701006XzbMath1423.03072MaRDI QIDQ2364246

Sergey S. Marchenkov

Publication date: 18 July 2017

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

zbMATH Keywords

closure operators\((\&\exists\forall)\)-closed classes

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of Boolean algebras (03G05)

Related Items (1)

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

Cites Work

• Functional equations for the functions of real variables
• Operator of positive closure
• Finitely Many Primitive Positive Clones
• On expressibility of functions of many-valued logic in some logical-functional languages
• Positively closed classes of three-valued logic
• Definition of positively closed classes by endomorphism semigroups
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Closure operators with positive connectives and quantifiers