Skip to content

Commit

Permalink
Update index.md
Browse files Browse the repository at this point in the history
  • Loading branch information
jkadlecikova authored Nov 4, 2024
1 parent 4940c97 commit c931454
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions index.md
Original file line number Diff line number Diff line change
Expand Up @@ -131,8 +131,6 @@ Damian Szmuc *(CONICET)*
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)


\\

\\
<a name="blane"></a> **Decorating Classical Logic**\\
Blane Worley *(UC Davis)*
Expand Down

0 comments on commit c931454

Please sign in to comment.