Logical extensions of the parametric closure operator

DOI10.1515/DMA-2023-0033MaRDI QIDQ6548978zbMATH OpenFDO

Authors S. S. Marchenkov

Publication date 3 June 2024

Published in Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/DMA-2023-0033

zbMATH Keywords

logical extension of closure operatoroperator parametric closure

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx) Algebraic structures (08Axx)

Cites work

• A criterion for positive completeness in ternary logic
• A family of classes of functions closed with respect to a strengthened superposition operation
• Atoms of the lattice of positively closed classes of three-valued logic
• Basic relations of the S-classification of functions of the multi-valued logic
• Calculating the number of functions with a given endomorphism
• Classes of the \(k\)-valued logic closed with respect to extended superposition operation
• Closure operators with positive connectives and quantifiers
• Closure operators with predicate branching
• Completeness criterion for the enumeration closure operator in three-valued logic
• Equational closure
• Extensions of the Positive Closure Operator by Using Logical Connectives
• FE classification of functions of many-valued logic
• Finitely Many Primitive Positive Clones
• Generating primitive positive clones
• scientific article; zbMATH DE number 3162893 (Why is no real title available?)
• scientific article; zbMATH DE number 3875238 (Why is no real title available?)
• scientific article; zbMATH DE number 3954991 (Why is no real title available?)
• scientific article; zbMATH DE number 3763910 (Why is no real title available?)
• scientific article; zbMATH DE number 3771575 (Why is no real title available?)
• scientific article; zbMATH DE number 3603343 (Why is no real title available?)
• scientific article; zbMATH DE number 468645 (Why is no real title available?)
• scientific article; zbMATH DE number 701115 (Why is no real title available?)
• scientific article; zbMATH DE number 1544631 (Why is no real title available?)
• On Boolean primitive positive clones
• On classifications of many-valued logic functions by means of automorphism groups
• On closed classes of functions of k-valued logics defined by a single endomorphism
• On expressibility of functions of many-valued logic in some logical-functional languages
• On the enumeration closure operator in multivalued logic
• On the structure of equationally closed classes
• Operator of positive closure
• Parametric expressibility of functions of three-valued logic
• Positively closed classes of three-valued logic generated by one-place functions
• The S-classification of functions of many-valued logic
• The S-classification of three-valued logic functions.

Cited in

(2)

• Lattice of E-closed classes of multifunctions of rank 2
• Implicatively precomplete sets of multioperations defined on a set of three elements

This page was built for publication: Logical extensions of the parametric closure operator

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