Abstract: We prove the decidability of the extension CyInDFL of DFL (Distributive Full Lambek Calculus), in which the involutive law is derivable under the assumption of cyclicity. So far, the ...

Attorneys and advocacy organizations are navigating an increase in federal immigration arrests — and rampant rumors and misinformation.

Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...