NCL

Keyphrases

Publications

2022

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

volume 358, 2022

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. NCL 358 (2022)