Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence Ming Xu OriginalPaper 05 April 2021 Pages: 1177 - 1200
Residuated Structures and Orthomodular Lattices D. FazioA. LeddaF. Paoli OriginalPaper Open access 17 April 2021 Pages: 1201 - 1239
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi Norihiro Kamide OriginalPaper 21 April 2021 Pages: 1241 - 1271
Neighbourhood Semantics for FDE-Based Modal Logics S. DrobyshevichD. Skurt OriginalPaper 21 April 2021 Pages: 1273 - 1309
Bayesian Belief Revision Based on Agent’s Criteria Yongfeng Yuan OriginalPaper 28 May 2021 Pages: 1311 - 1346
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic Martín Figallo OriginalPaper 30 May 2021 Pages: 1347 - 1373
The Calculus of Natural Calculation René Gazzari OriginalPaper Open access 09 June 2021 Pages: 1375 - 1411
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem Yoshiki NakamuraNaosuke Matsuda OriginalPaper 11 June 2021 Pages: 1413 - 1422
A Few Notes on Quantum B-algebras Shengwei HanXiaoting Xu OriginalPaper 12 June 2021 Pages: 1423 - 1440
Curry–Howard–Lambek Correspondence for Intuitionistic Belief Cosimo Perini Brogi OriginalPaper Open access 16 June 2021 Pages: 1441 - 1461