Guillaume Aucher. A van Benthem Theorem for Atomic and Molecular Logics
Sankha S. Basu and Sayantan Roy. Negation-free Definitions of Paraconsistency
Alexander Bolotov. On the Expressive Power of the Normal Form for Branching-Time Temporal Logics
Ana Cruz, Alexandre Madeira and Luís Soares Barbosa. A logic for Paraconsistent Transition Systems
Luis Estrada-González. Dunn Semantics for Contra-classical Logics
Luis Estrada-González and Fernando Cano-Jorge. Mortensen Logics
Pedro Filipe, Carlos Caleiro and Sérgio Marcelino. Monadicity of Non-deterministic Logical Matrices is Undecidable
Guido Gherardi and Eugenio Orlandelli. Non-normal Super-strict Implications
Oleg Grigoriev and Dmitry Zaitsev. Cyclic Negations and Four-valuedness
Andreas Kapsner and Hitoshi Omori. Superconnexivity Reconsidered
Nils Kürbis. Bilateral Inversion Principles
Satoru Niki and Hitoshi Omori. Another Combination of Classical and Intuitionistic Conditionals
Yaroslav Petrukhin. Normalisation for Some Infectious Logics and Their Relatives
Vit Punčochář and Berta Grimau. Natural Deduction for Assertibility and Deniability
Vít Punčochář and Igor Sedlár. Routley Star in Information-Based Semantics
Jiří Raclavský. Solutions to Puzzles of Existential Generalisation
Fabien Schang, George Englebretsen and José Martín Castro-Manzano. The Forms of Categorical Proposition
Clodomir Silva Lima Neto, Thiago Nascimento Silva and Umberto Rivieccio. Algebraizability of the Logic of Quasi-N4-Lattices
Agata Tomczyk and Dorota Leszczyńska-Jasion. Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus
Masanobu Toyooka and Katsuhiko Sano. Combining First-Order Classical and Intuitionistic Logic
Tarmo Uustalu, Niccolò Veltri and Cheng-Syuan Wan. Proof Theory of Skew Non-Commutative MILL
Niccolò Veltri. Normalization by Evaluation for the Lambek Calculus
