Abstract
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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
