Logika zdań drugiego rzędu - Second-order propositional logic
Drugiego rzędu zdaniowa logika jest zdaniowa logika rozszerzony o kwantyfikacji nad propozycjami. Szczególnym przypadkiem są logiki, które dopuszczają twierdzenia boolowskie drugiego rzędu , w których kwantyfikatory mogą wahać się albo nieco powyżej wartości prawdy boolowskiej , albo poza funkcjami prawdy o wartościach boolowskich .
Najbardziej znana jest formalizm logiki intuicjonistycznej z impredicative kwantyfikacji, systemu F . Parigot (1997) pokazał, jak ten rachunek różniczkowy można rozszerzyć, aby dopuszczał logikę klasyczną .
Zobacz też
Bibliografia
Parigot, Michel (1997). Dowody silnej normalizacji dla klasycznej dedukcji naturalnej drugiego rzędu . Journal of Symbolic Logic 62 (4): 1461–1479.
 |
Ta logika kondensatorem artykuł jest en . Możesz pomóc Wikipedii, rozbudowując ją . |