Second-order propositional logic

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/True_quantified_Boolean_formula/aAl09lCF">True quantified Boolean formula</a></li>
<li><a href="/facts/Second-order_arithmetic/abBxQsaH">Second-order arithmetic</a></li>
<li><a href="/facts/Second-order_logic/C138cGXQ">Second-order logic</a></li>
<li><a href="/facts/Type_theory/xj0xzVqI">Type theory</a></li></ul>

<ul><li>Parigot, Michel (Dec 1997). <a href="https://www.cambridge.org/core/product/identifier/S002248120001584X/type/journal_article">"Proofs of strong normalisation for second order classical natural deduction"</a>. <i>Journal of Symbolic Logic</i>. 62 (4) (published 12 March 2014): 1461–1479. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2275652">10.2307/2275652</a>. <a href="/facts/ISSN_(identifier)/DPAflDvU">ISSN</a> <a href="https://search.worldcat.org/issn/0022-4812">0022-4812</a>. <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2275652">2275652</a>.</li></ul>

Second-order propositional logic open-in-new

Second-order propositional logic