The Logic and Metaphysics Workshop will meet on September 21st from 4:15-6:15 (NY time) via Zoom for a talk by Yale Weiss (CUNY).

Title: Arithmetical Semantics for Non-Classical Logic

Abstract: I consider logics which can be characterized exactly in the lattice of the positive integers ordered by division. I show that various (fragments of) relevant logics and intuitionistic logic are sound and complete with respect to this structure taken as a frame; different logics are characterized in it by imposing different conditions on valuations. This presentation will both cover and extend previous/forthcoming work of mine on the subject.

This entry is licensed under a Creative Commons CC0 1.0 Universal Public Domain Dedication license.