NCL'22: NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS 2022
ACCEPTED PAPERS

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