nLab Category — logic

Overview

The nLab has 7 pages in this category.

Pages

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