Sergey S. Marchenkov

Logical extensions of the parametric closure operator

  • Applied Mathematics
  • Discrete Mathematics and Combinatorics
Save to CiteDrive Show PDF

Abstract In the present survey, we consider all logical extensions of the parametric closure operator. Such extensions are obtained by augmenting the parametric closure language with arbitrary logical connectives or the universal quantifier. This gives, in addition to the parametric closure operator, the operators of positive and implicative closure, and also the closure operator with complete system of logical connectives, and the conjunctive-quantifier closure operator. We present basic facts on classifications of the sets Pk generated by these operators.

Need a simple solution for managing your BibTeX entries? Explore CiteDrive!

  • Web-based, modern reference management
  • Collaborate and share with fellow researchers
  • Integration with Overleaf
  • Comprehensive BibTeX/BibLaTeX support
  • Save articles and websites directly from your browser
  • Search for new articles from a database of tens of millions of references
Try out CiteDrive

More from our Archive