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