More semantics for Angell’s logic of Analytic Containment (Damian Szmuc)

The Logic and Metaphysics Workshop will meet on November 25th from 4:15-6:15 in-person at the Graduate Center (Room 4419) for a talk by Damian Szmuc (Buenos Aires).

Title: More semantics for Angell’s logic of Analytic Containment

Abstract: This presentation aims to explore new semantics for Angell’s logic of Analytic Containment through the discussion of the topic-transformativeness of negation. For this purpose, we review some new developments by Song, Omori, Arenhart, and Tojo on two-address valuations for topic-transparent logics related to content inclusion, and extend their techniques for Angell’s logic of Analytic Containment. In particular, we present a 4-valued non-deterministic and a 16-valued deterministic semantics, both obtained through direct products of De Morgan lattices and involutive semilattices.

Leave a comment

Your email address will not be published. Required fields are marked *