nLab Category — logic

Overview

The nLab has 27 pages in this category.

Pages

• !-modality
• (classical) axiom of multiple choice
• ?-modality
• axiom
• axiom of choice
• axiom of extensionality
• axiom of foundation
• axiom of full comprehension
• BHK interpretation
• Birkhoff's HSP theorem
• Curry's paradox
• elimination of quantifiers
• excluded middle
• foundation of mathematics
• Goldblatt-Thomason theorem
• Hilbert's operator
• Hilbert's program
• logic
• mathematical logic
• proof
• proof theory
• proposition
• rewriting
• rule C
• semantics
• true proposition
• truth value