Author: nLab edit announcer Format: MarkdownItexAdded comment regarding propositional logic as that with no sorts.
Steve Vickers
<a href="https://ncatlab.org/nlab/revision/diff/propositional+logic/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/propositional+logic/13">v13</a>, <a href="https://ncatlab.org/nlab/show/propositional+logic">current</a>
Added comment regarding propositional logic as that with no sorts.