Extensions of the Positive Closure Operator by Using Logical Connectives

DOI10.1134/S1990478918040087zbMath1438.03002OpenAlexW2902722063WikidataQ128896489 ScholiaQ128896489MaRDI QIDQ4973230

Sergey S. Marchenkov

Publication date: 2 December 2019

Published in: Journal of Applied and Industrial Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1990478918040087

zbMATH Keywords

positive closure operatorparametric closure operator

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (2)

On the action of the implicative closure operator on the set of partial functions of the multivalued logic ⋮ Completeness criterion with respect to the enumeration closure operator in the three-valued logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On Boolean primitive positive clones
• Primitive positive clones which are endomorphism clones
• Generating primitive positive clones
• Finitely Many Primitive Positive Clones
• On expressibility of functions of many-valued logic in some logical-functional languages
• Definition of positively closed classes by endomorphism semigroups

This page was built for publication: Extensions of the Positive Closure Operator by Using Logical Connectives