Tag: Lindenbaum’s Theorem

Maximal Consistent Set

A maximal consistent set is a collection of logical formulas that is…

Bossmind