Výroková logika druhého řádu - Second-order propositional logic

A výroková logika druhého řádu je výroková logika rozšířeno o kvantifikace nad návrhy. Zvláštním případem jsou logiky, které to umožňují booleovské návrhy druhého řádu, kde kvantifikátory se mohou pohybovat buď těsně nad logickou hodnotou pravdivostní hodnoty nebo nad booleovskou hodnotou funkce pravdy.

Nejznámějším formalismem je intuicionistická logika s předběžnou kvantifikací, Systém F. Parigot (1997) ukázal, jak lze tento počet rozšířit a připustit klasická logika.

Viz také

Reference

Parigot, Michel (1997). Důkazy silné normalizace pro klasickou přirozenou dedukci druhého řádu. Journal of Symbolic Logic 62(4):1461–1479.