Homotopy Type Theory Logic > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Here we collect articles about doing logic in HoTT.

• excluded middle
• double negation
• limited principle of omniscience
• Whitehead's principle

References

• HoTT Book