Closure operators with positive connectives and quantifiers

DOI10.3103/S027864191701006XMaRDI QIDQ2364246zbMATH OpenFDO

Authors S. S. Marchenkov

Publication date 18 July 2017

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

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

zbMATH Keywords

\((\&\exists\forall)\)-closed classesclosure operators

Mathematics Subject Classification ID

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

Recommendations

• Extensions of the Positive Closure Operator by Using Logical Connectives
• scientific article; zbMATH DE number 35582
• Closure operators and connectedness
• scientific article; zbMATH DE number 3902629
• Operator of positive closure
• Closure operators in exact completions
• Positive P_N closures
• On connectedness via closure operators
• scientific article; zbMATH DE number 1522864

Cites work

• Definition of positively closed classes by endomorphism semigroups
• Finitely Many Primitive Positive Clones
• Functional equations for the functions of real variables
• scientific article; zbMATH DE number 3162893 (Why is no real title available?)
• scientific article; zbMATH DE number 3657771 (Why is no real title available?)
• scientific article; zbMATH DE number 3771575 (Why is no real title available?)
• scientific article; zbMATH DE number 3601592 (Why is no real title available?)
• scientific article; zbMATH DE number 1544631 (Why is no real title available?)
• On expressibility of functions of many-valued logic in some logical-functional languages
• Operator of positive closure
• Positively closed classes of three-valued logic
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

Cited in

(8)

• Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions
• Symmetric closure operators on orthoposets
• scientific article; zbMATH DE number 4218123 (Why is no real title available?)
• The FE-closure operator in countable-valued logic
• scientific article; zbMATH DE number 638368 (Why is no real title available?)
• Extensions of the Positive Closure Operator by Using Logical Connectives
• Orthoposets with quantifiers
• Logical extensions of the parametric closure operator

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

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