[[!redirects propositional logic]] < [[nlab:propositional logic as a dependent type theory]] category: redirected to nlab