Skip to content

Commit c931454

Browse files
authored
Update index.md
1 parent 4940c97 commit c931454

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

index.md

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -131,8 +131,6 @@ Damian Szmuc *(CONICET)*
131131
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. (Joint work with Martina Zirattu)
132132

133133

134-
\\
135-
136134
\\
137135
<a name="blane"></a> **Decorating Classical Logic**\\
138136
Blane Worley *(UC Davis)*

0 commit comments

Comments
 (0)