New Quantifier Angle-I, and Agent Logic

I was thinking that upside down A and backwards E were feeling lonely.  Yes, ∀ and ∃ love each other very much, but they could really use a new friend.  Introducing Angle I: Now, Angle I, , is just like her friends ∀ and ∃.  She can be used in a formula such as ∀x∃yz(Pxyz). But how should we understand what is going on with the failure of the quantified tertium non datur?  With that […]