[[!redirects logic]] [[!redirects Logic in HoTT]] Here we collect articles about doing logic in HoTT. * [[excluded middle]] * [[double negation]] * [[Whitehead's principle]] * [[axiom of replacement]] * [[de Morgan's law]] * [[analytic Markov's principle]] ## References * [[HoTT Book]] category: navigation