Logika zdaniowa drugiego rzędu

Logika zdań drugiego rzędu to logika zdań rozszerzona o kwantyfikację zdań. Szczególnym przypadkiem są logiki, które dopuszczają twierdzenia boolowskie drugiego rzędu , w których kwantyfikatory mogą mieścić się w zakresie albo tuż nad boolowskimi wartościami logicznymi , albo nad funkcjami logicznymi o wartościach boolowskich .

Najbardziej znanym formalizmem jest logika intuicjonistyczna z impredykatywną kwantyfikacją, System F. Parigot (1997) pokazał, jak ten rachunek różniczkowy można rozszerzyć, aby przyjąć logikę klasyczną .

Zobacz też

• Boolowski problem spełnialności
• Arytmetyka drugiego rzędu
• Logika drugiego rzędu
• Teoria typów

•    Parigot, Michel (grudzień 1997). „Dowody silnej normalizacji dla klasycznej dedukcji naturalnej drugiego rzędu” . Journal of Symbolic Logic (opublikowany 12 marca 2014). 62 (4): 1461–1479. doi : 10.2307/2275652 . ISSN 0022-4812 . JSTOR 2275652 .