1021 | -- | 1049 | Hitoshi Omori, Heinrich Wansing. 40 years of FDE: An Introductory Overview |
1051 | -- | 1086 | Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio. An Algebraic View of Super-Belnap Logics |
1087 | -- | 1122 | Ofer Arieli, Arnon Avron. Four-Valued Paradefinite Logics |
1123 | -- | 1148 | Thomas Macaulay Ferguson. Rivals to Belnap-Dunn Logic on Interlaced Trilattices |
1149 | -- | 1166 | Melvin Fitting. Paraconsistent Logic, Evidence, and Justification |
1167 | -- | 1191 | Norihiro Kamide. Paraconsistent Double Negations as Classical and Intuitionistic Negations |
1193 | -- | 1219 | Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing. Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant |
1221 | -- | 1254 | Sergei P. Odintsov, Heinrich Wansing. Disentangling FDE-Based Paraconsistent Modal Logics |
1255 | -- | 1289 | Adam Prenosil. Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics |
1291 | -- | 1317 | Yaroslav Shramko, Dmitry Zaitsev 0002, Alexander Belikov. First-Degree Entailment and its Relatives |
1319 | -- | 1347 | Stefan Wintein, Reinhard Muskens. Interpolation Methods for Dunn Logics and Their Extensions |