Search
❯
Dec 08, 20251 min read
A logical theory is a collection of logical statements closed under entailment.