nLab Category — logic

Overview

The nLab has 9 pages in this category.

Pages

• !-modality
• ?-modality
• Birkhoff's HSP theorem
• elimination of quantifiers
• Goldblatt-Thomason theorem
• Hilbert's operator
• rewriting
• rule C
• semantics