In the following article:
https://plato.stanford.edu/entries/peirce-logic/
it is mentioned that Peirce's introduced the use of the symbols $\Sigma$ and $\Pi$ to express logical sums and products, but also to denote the existential and universal quantifiers. Is the use of these symbols related to their use in, for example, intuitionistic type theory as dependent sum and dependent type?