Louwe B. Kuijer. Sequent Systems for Nondeterministic Propositional Logics without Reflexivity. In Davide Grossi, Olivier Roy, Huaxin Huang, editors, Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Volume 8196 of Lecture Notes in Computer Science, pages 190-203, Springer, 2013. [doi]
Abstract is missing.