Elementary Logic in Linear Space

Daniel Huang

First-order logic is typically presented as the study of deduction in a setting with elementary quantification. In this paper, we take another vantage point and conceptualize first…