This week's Casper Standup covered alternative interpretations of the quantifiers.
13 Aug 2021, 01:14
This week’s Casper Standup covered alternative interpretations of the quantifiers. In particular, in the context of quantale semantics we sketched out 4 quantifiers, two additive and two multiplicative. We then gave a discussion of how OSLF approaches the foundations of mathematics.